- #1

- 10

- 0

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- 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.

Share:

- Replies
- 6

- Views
- 2K