>「-*-＝+は公理系に関係なく必ず定理である」
>と思っていた人が何人かは確実にいたはずです。

そんな奴いねぇってのｗ