Induction as a procedure only generates formal proofs; it cannot guarantee the semantic truth of con...
This proposition has not been edited since the history system was added.