On transfinite numbers and transfinite induction, 1964