TY  - RPRT
TI  - Hilbert's first and second problems and the foundations of mathematics
AU  - Peter J. Nyikos
PY  - 2004
UR  - https://arxiv.org/abs/math/0412555
ID  - math/0412555
ER  -