>>127
>なぜこれらを公理といったかといえば、抽象的だから
>個々の群や多様体の「具体的構成」という「定義」ではないから

ふっふ、ほっほ
すぐ反例が出そうな”論”だね　；ｐ）

ところで、一般の”群”の定義を 「公理」とよぶ例も探してくれよ〜　ｗ
なぜなら ”群”は、抽象的だからｗｗ

さて、選択公理というものがある（下記）
整列可能定理、ツォルンの補題 は、等価な命題らしいな
なんで、 ｘｘ公理 ｘｘ定理 ｘｘ補題 なんだ？
これじゃ、公理も定理も補題も
区別つかないけど それ良いの？

おれの意見は、それはそれで良いんじゃね？
だなｗｗｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
平行線公準以来、もっとも議論された公理である[2]。
選択公理と等価な命題
整列可能定理
ツォルンの補題