ゆるゆる べんきょう

暇だから哲学・数学・物理学をゆるく勉強しているよ

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

北田 発見への道4章

4章 命題計算の完全性 拡張命題論理と称するモノから完全性に迫る。すなわち命題式の論理式に対して、命題変数の閉包をとる操作を行うと、(自然数論では変数記号に関する閉包をとる限りこのような事情は発生しない)、任意の式は真理値1か0のみをとるように…