トップページ⇒math

1001コメント525KB

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

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

0794１３２人目の素数さん

2012/09/18(火) 16:45:31.20

>>784 >>788
集合論やモデル理論の人は∀xA(x)→∃xA(x)や∃ｘ(ｘ＝ｘ)を恒真とは考えないってことですか？

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