« 前のひとこと | トップページ | 次のひとこと »

aboutme:56364

つまり、ある種の公理系をとったとき、無矛盾であるがある種の「何でも」導けるというものを内包することができる一例となっているということだ。

JRF 2008年5月25日 (日)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック


トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。