1001コメント309KB

数学基礎論の質問スレッド　その２

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

0031１３２人目の素数さん

2006/05/01(月) 15:26:51

∀と∃のつけかたによる
例えば
∀x∀y∀z[x=y∧z∈x⇔z∈y]
は明らかに偽

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