Consider this infinite tower of theorems of TNT withoutinduction.
(0 + 0) = 0
(0 + S0) = S0
(0 + SS0) = SS0
(0 + SSS0) = SSS0
…
And consider the generalization of this column of theorems, namelythe universally quantified wff that has as instantiations all thetheorems in the column. Suppose we added the negation of thisgeneralization as a new axiom to TNT. What would happen?
Expert Answer
An answer will be send to you shortly. . . . .