排中原理 (はいちゅうげんり) — law of excluded middle | Kumi Dictionary