排中 はいちゅう原理 げんりなら
haichūgenrinara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 排中原理

1. If/when the principle of excluded middle...; If the principle of excluded middle holds...

Nara Conditional