Revision as of 18:23, 8 April 2012 edit 65.128.137.2 (talk) No edit summary ← Previous edit		Revision as of 18:24, 8 April 2012 edit undo 65.128.137.2 (talk) No edit summary Next edit →
Line 20: which requires proving the existence of a fixed point of a set definable without use of the ellipsis ~~: <math> \dots <math>;~~ this requires

Kleene fixed-point theorem: Difference between revisions