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