1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0057１３２人目の素数さん

2010/12/31(金) 17:28:09

「式の集合」がZFCのモデルになっているなんて話あったかなあ、

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