トップページ⇒math

1001コメント328KB

哲学と数学

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

0409１３２人目の素数さん

2005/10/24(月) 21:01:13

>>407
ご紹介いただいたページの外延性公理というのが等式に当たると思うんですが。

これ↓

∀a∀b[a=b⇔∀x(x∈a⇔x∈b)]

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