>>204
そんなん初めて聞いたが。

論理記号に関する公理しか使ってないとは言えるけど
＞数学で「論理的な」といったら、論理記号（¬∧∨→∀∃）の性質しか使ってないということ。
こりゃ言いすぎだろう。

それに等号はぎりぎり論理記号の範囲内といえるかも。