トップページ⇒math

15コメント3KB

区体論

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

0009１３２人目の素数さん

2007/03/10(土) 04:03:41

>>6を
atom(a)≡∀b(b⊂a→b=a∨b=φ)と修正

本家の記述>>6は整合的でないと思われる（意見求む

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