In the discussion of Gentzen's proof, Voevodsky expresses total bafflement at why someone would presume the ordinals are well-ordered. He does not say that he rejects any particular argument but rather seems to suggest there are no arguments. Why? Either he was simply not aware of any kind of reason, or somehow thought the audience didn't need to know about that. Neither option is good.
Monroe Eskew
- 18.6k
- 5
- 53
- 114