TY  - RPRT
TI  - Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"
AU  - William H. Wheeler
PY  - 2023
UR  - https://arxiv.org/abs/2309.07151
ID  - 2309.07151
ER  -