TY  - RPRT
TI  - A Machine-Assisted Proof of Gödel's Incompleteness Theorems for the Theory of Hereditarily Finite Sets
AU  - Lawrence C. Paulson
PY  - 2021
DO  - 10.1017/s1755020314000112
UR  - https://arxiv.org/abs/2104.14260
ID  - 2104.14260
ER  -