>>974
とりあえず公理系を書き出してみて

え?できない?それ数学的証明じゃないよ