PanLinx
日本語
jpn-000
排中原理
English
eng-000
law of excluded middle
PanLex