>>120
2じゃなくても同値類の分け方で恣意的に変わる(ブール代数とか)。自然数公理では1+1の名前が2。別におっぱいっていう名前でも良いけど長い。
別に特別な問題ではないよね。