How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions

Dan E. Willard

Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multipli…