僕は以前は形式的体系ということについて、色々思うことが
有ったのだが、この頃は、Frege構造というものについて気に
なってきたのだよ。フレーゲ構造って、なんか面白そうな予感
がする。