フィールズ賞取った小平先生も
数学基礎論勉強したがどうもよくわからなかったとか言ってたよな