基礎論やるやつは数学を知らない、これマメな