PanLinx
русский
rus-000
доказуемое высказывание
English
eng-000
proofable statement
English
eng-000
provable statement
PanLex