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