We discuss the dubbed term "logical loop" and it's implication regarding provability in undecidable theorems.
Support the authors with ResearchCoin