@misc{indiciaec2cf8409ac85, title = {Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History}, author = {Saul A. Kripke}, year = {2021}, url = {https://arxiv.org/abs/2102.13141}, note = {Source identifier: 2102.13141} }