横からですがそもそも数学の公理系ではタイトルのイコールは自明とされてますよね
だから疑義という提議があれば、そもそも現状の公理系に対しての異議として行われていると考えるべきでしょう
公理系を飽くまでも振りかざす議論の応酬は不毛にしかなりません