Yeah I'm actually taking fucking crazy pills none of this shit makes any goddamn sense they say that for all elements of a well order you can plug a function inside itself as long as it will terminate and that's transinite induction but that doesn't fucking work if the well order is infinite. It'll terminate for any particular element, but there no end to the elements
Describing the number 2 like there exists a z there exists a y there exists an x x in y and forall k k notin x and forall j j = x or j not in y and forall i i = x or i = y or i not in z