Vocabulary
排中律
はいちゅうりつ
law of excluded middle
noun