トップページ⇒math

1001コメント253KB

くだらねぇ問題はここへ書け ver.3.14(54桁略)4944

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

0472１３２人目の素数さん

2007/08/17(金) 12:22:07

>>464
∀x(φ(x) →φ(f(x)))において、xをf(a)として∀を除去した

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