TY  - RPRT
TI  - About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
AU  - Dan E. Willard
PY  - 2018
UR  - https://arxiv.org/abs/1807.04717
ID  - 1807.04717
ER  -