因みに公理系という言葉は何もユークリッドの公理だけを指さないというか
どっちかというと選択公理系って文脈で用いられる事の方が多いように思う。
数学者だけじゃなくて、哲学や論理学の方面の人も使う言葉だよね。
と思って、今ググってみたらwikiの「公理」の項が、ほぼユークリッドについての記述しか書いてなかった

ああ、なるほどな。俺なりに納得した。そういう事だったのね、と。