ポスト
「論理学や集合論を展開するためには、その前に素朴集合論が必要になる（？）」 というようなナンセンスで不毛な話には触れず、ただそこから連想される、しかし数学的に意味のある面白いトピックを展開してくるの凄すぎる、、、
メニューを開くCon(PA)という論理式はPAを形式化したものの無矛盾性を主張していてCon(PA+Con(PA))はPA+Con(PA)を形式化したものの無矛盾性で、これを繰り返すと、メタとオブジェクトの階層がωの長さになるわけなんだけど、極限ステップで不動点定理を使うことで任意の順序数回に拡張できる。
