On Mathematical Impossibility User Matthew Cory on YouTube, 23 Aug 2021 How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case…