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