PanLinx
English
eng-000
formally false proposition
čeština
ces-000
kontradikce
PanLex