Kérlek, engedélyezd a javascriptet a szótár használatához! Hogyan?
constructive logic▼noun
intuitionistic logic▼nouna type of logic which rejects the axiom "law of excluded middle"
↑