... and has the property that if every step is followed by another step, then th...

		cperciva on Sept 29, 2011 \| parent \| context \| favorite \| on: Peano arithmetic is probably inconsistent ... and has the property that if every step is followed by another step, then the entire road will be walked.