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