>>128
そういう公理が含まれないかもしれませんね

気にくわないなら、3を4と解釈する、でもいいですよ、