Intuitionistic
Definition, Meaning & Examples
Part of speech adjective
Quick meaning: Intuitionistic is an adjective meaning (mathematics, logic) Dealing strictly in constructive proofs, abstaining from proof by contradiction.
Meaning
(mathematics, logic) Dealing strictly in constructive proofs, abstaining from proof by contradiction.
Example Sentences
The system, which has come to be known as IZF, or Intuitionistic Zermelo–Fraenkel (ZF refers to ZFC without the axiom of choice), has the usual axioms of extensionality, pairing, union, infinity, separation and power set. The axiom of regularity is stated in the form of an axiom schema of set induction. Also, while Myhill used the axiom schema of replacement in his system, IZF usually stands for the version with collection.ᵂᴾ
Related Words
Related dictionary entries include superintuitionistic, nonconstructive, finitary, pseudocontractive, impredicative, decidable.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.