1. Andrew Boucher, Consistency and Existence by V1.00 Last Updated: 1 Oct 2000 Please Send Your Comments to Abo.
    On the one hand, first-order theories are able to assert the existence of objects. For instance, ZF set theory asserts the existence of objects called the power set, while Peano Arithmetic asserts the existence of zero. On the other hand, a first-order theory may or not be consistent: it is if and only if no contradiction is a theorem. Let us ask, What is the connection between consistency and existence?
    No categories
    Reading list   |  Discuss  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar
    2 downloads  |  Added to index: 2009-01-28  |  Mark as duplicate  |  Remove from index  |  Revision history
    Bookmark and Share