Englishcomplete
Englishof a proof system: such that any semantically valid formula is also provable
Polishzupełny
English translator: English zupełny Eesti sõnaraamat Español Traductor Svenska Översättare