The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.
Keywords: Constructibility Theory
Chapter. 9624 words.
Subjects: Philosophy of Mathematics and Logic
Full text: subscription required