- #1

- 10

- 0

- Thread starter sairalouise
- Start date

- #1

- 10

- 0

- #2

AKG

Science Advisor

Homework Helper

- 2,565

- 4

{~s} U {axioms of group theory}

has arbitrarily large finite models (since there are arbitrarily large finite groups). But a standard compactness argument yields that

{~s} U {axioms of group theory}

has an infinite model G which would be a group that models both s and ~s, contradiction.