2008-11-30から1日間の記事一覧
ウヒくんと名乗るおそらく数学者の方のブログ記事「世界共通の言語」より引用 多くの人にとって自然数の存在というのは明らかであって、 したがってモデルが存在する以上、 自然数論（ＰＡ）の無矛盾性は明らかである。 とすると無矛盾性証明を試みる意図が…
ウヒくんと名乗るおそらく数学者の方のブログ記事「世界共通の言語」より引用 多くの人にとって自然数の存在というのは明らかであって、 したがってモデルが存在する以上、 自然数論（ＰＡ）の無矛盾性は明らかである。 とすると無矛盾性証明を試みる意図が…
