2012-06-06から1日間の記事一覧

ゲーデルの体系Pで遊んだ記録

logic

数学ガールゲーデル編では表現定理の証明が省略されている体系には足し算なんて用意されていないのにたとえばどうやって三項関係を表現するんだろうと気になる。これはだいたい予想がついた。二項関係を表現する論理式は、が属していて任意のについてが属…