The Deductive System

Charles S. Chihara

in Constructibility and Mathematical Existence

Published in print June 1991 | ISBN: 9780198239758
Published online November 2003 | e-ISBN: 9780191597190 | DOI:

Series: Clarendon Paperbacks

 The Deductive System

Show Summary Details


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

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.