「はさみうちの定理は「排中律」から導かれる。」

西岡康夫(代ゼミ)