A Note on McGee's ω-Inconsistency Result
arXiv:1704.08283
Abstract
In this note we show that McGee's ω-inconsistency result can be derived from Löb's theorem.
arXiv:1704.08283
In this note we show that McGee's ω-inconsistency result can be derived from Löb's theorem.