你要我说多少遍啊？
你的所谓公理都是你自己定的，推理是从你自己定的公理推出来的，然后再用你自己定的公理及推理证明你的公理。这只是循环论证。

按你的方法，我先设一个
公理：1+1不等于2之外的任何实数。
推理：1+1只能等于2。
证明：因为实数+实数=实数，1是实数，1+1不等于2之外的任何实数，所有实数的集合减去2之外的任何实数这个集合，只有2，所以1+1=2。

那我岂不是证明哥德巴克猜想