20/05/08 10:41:53 qXGvfbUV.net
>>237
>>”axiom”を１個と数えれば
>１つのaxiom schema＝１つのaxiom ではありません
ほいよ >>238
望月氏は ”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
です
あなた：１つのaxiom schema
だから、”個”の定義の話（>>236）ですよね
定義がもともと違うのに、9つの数え方がおかしいとか
それって、IUTの SSと望月の議論 そっくりという気がします （＾＾；