0976132人目の素数さん垢版 | 大砲2018/01/25(木) 01:34:19.40ID:2isTxU4D 公式は示されるもの、公理や定義は与えられるものなので全然違いますね 「順序違いはバツ」を「公式」化するなら、何らかの方法で示さないとなりませんね