9

A Note on McGee's ω-Inconsistency Result
In this note we show that McGee’s ω-inconsistency result can be derived from Löb’s theorem.
Johannes Stern
PDF