20/05/10 11:22:46 vZYbiwt9.net
団長、本日の自爆発言
>>376
>置換公理”Axiom 6. Replacement Scheme. For each formula, ψ, without B free,”は、
>公理としてはあくまで、具体的な ”formula ψ”を当てはめる前の状態のことで
>そう考えて、1つなんだよね!
団長は、一階述語論理の演繹体系とか知らないド素人だから無理もないけど
具体的な ”formula ψ”を当てはめなかったら集合論の定理の演繹なんかできませんよ
数セミ記事の件では、確率論知らないのに
「確率論勉強したら誤りと気づいて当たり前」
とか発言して自爆したけど、今度も論理学知らないのに
「論理学勉強したら置換公理は1つと考えて当たり前」
とか発言して自爆しちゃうんだろうなあ
なんで勉強しないのにした気になっちゃうんだろ?