そもそも、前スレ170だって、
抽象代数の分野で「公理系に関係なく」「必ず」定理であるとは言ってない。
「」内は誰かが勝手に付け加えた文言だろ。

任意の次元のベクトル空間の基底の存在だとか
或いは中間値の定理であるとかは、
原理的には公理としてとれるような命題だが
「数学的には定理である」と言って全然問題ないわけで。