TallyMan wrote:
3. In going from (1) to (2) you aim to logically change the statement in small logical steps. Each logical step must be indisputable logic; or the whole basis of the proof falls like a house of cards and the original statement may or may not be true.
Of course, each step in practice isn't. Ever try proving basic arithmetical propositions using Peano Axioms and formal rules of inference? There are isolated reports, scarcely more than rumors, that several people have actually
died of boredom while attempting such a task.
_________________
* here for the nachos.