PanLinx
čeština
ces-000
pozitivní důkaz
English
eng-000
absolute proof
PanLex