TY  - RPRT
TI  - Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
AU  - Saul A. Kripke
PY  - 2021
UR  - https://arxiv.org/abs/2102.13141
ID  - 2102.13141
ER  -