2018/8/8
それは排中律から導かれる命題であって公理ではない
なぜ童貞ではないなら非童貞であるとわかるのですか？これも公理ですか？