・基礎論について。 数学基礎論の勉強がしたくなることを、「深遠からの呼び声が聞こえる」と言う。 ・理系について。 この世に真の理系はいないのではないかと思うようになった。 基礎論をほっておいて数学を使うなんて理系とは思えない。 しかし、基礎論自…