# A Note on McGee's {\omega}-Inconsistency Result

## TL;DR

This paper demonstrates that McGee's {8}-inconsistency result can be derived using L"ob's theorem, providing a new perspective on the relationship between these logical results.

## Contribution

It reveals that McGee's {8}-inconsistency is a consequence of L"ob's theorem, connecting two important results in formal logic.

## Key findings

- McGee's {8}-inconsistency can be derived from L"ob's theorem
- The connection simplifies understanding of logical inconsistency results
- Provides a new proof technique linking these theorems

## Abstract

In this note we show that McGee's {\omega}-inconsistency result can be derived from L\"ob's theorem.