TY - RPRT TI - Gödel's Theorem and Direct Self-Reference AU - Saul A. Kripke PY - 2021 UR - https://arxiv.org/abs/2010.11979 ID - 2010.11979 ER -