最近思うのはさ、ロジックによって明らかであるみたいなことがゲーデルとはまた別の意味で割ともっと素朴な感じで明らかなのはなんでなの？って思うってことなんだけどね、アプリオリに自然数があってそれを足していくと無限になるっつーかまぁこれは考え方…