TY  - RPRT
TI  - On the depth of Gödel's incompleteness theorem
AU  - Yong Cheng
PY  - 2021
DO  - 10.1093/philmat/nkab034
UR  - https://arxiv.org/abs/2008.13142
ID  - 2008.13142
ER  -