2014-01-09から1日間の記事一覧
矛盾とω矛盾、無矛盾とω無矛盾、初めて聞いたときはどちらが強い条件なのか分からなくてずいぶん苦労した。 体系が矛盾することを「何かヨロシクナイ事態」だと勝手に想定するならば、「ω矛盾は軽傷」と憶えておくと便利だ。 そして「ガッツリ矛盾する/ω矛…
矛盾とω矛盾、無矛盾とω無矛盾、初めて聞いたときはどちらが強い条件なのか分からなくてずいぶん苦労した。 体系が矛盾することを「何かヨロシクナイ事態」だと勝手に想定するならば、「ω矛盾は軽傷」と憶えておくと便利だ。 そして「ガッツリ矛盾する/ω矛…