トップページ⇒math

1001コメント405KB

数学基礎論・数理論理学　その10

■ このスレッドは過去ログ倉庫に格納されています

009612

2011/10/31(月) 07:09:34.70

>>67
＞そもそも1階論理の完全性の話してんのにな。

だから「対象の個数は可算個でいい」と？なぜ？

■ このスレッドは過去ログ倉庫に格納されています