- #1

- 10

- 0

## Main Question or Discussion Point

I'm trying to show that there is not one sentence (formula) that if a group satisfies this formula it is equivalent to the group being infinite. I can show this in a hap hazard way analogous to the same problem in the empty language , but how do you use the fact that the model is a group and there are arbitrarily large groups?