Proszę włączyć javascript, aby korzystać ze słownika! Jak włączyć JavaScript?
complete▼adjectiveof a proof system: such that any semantically valid formula is also provable
total▼adjectivecomplete
↑