TY - RPRT TI - How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions AU - Dan E. Willard PY - 2020 UR - https://arxiv.org/abs/2006.01057 ID - 2006.01057 ER -