TY  - RPRT
TI  - A Simple Character String Proof of the "True but Unprovable" Version of Gödel's First Incompleteness Theorem
AU  - Antti Valmari
PY  - 2014
DO  - 10.4204/eptcs.151.25
UR  - https://arxiv.org/abs/1402.7253
ID  - 1402.7253
ER  -