PanLinx
čeština
ces-000
věta o úplnosti
English
eng-000
completeness theorem
PanLex
