Learn More
To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation φ/Tφ and conecessitation Tφ/φ and axioms stating that T(More)