Will_Sawin comments on Very Basic Model Theory

[Will_Sawin]

You said arbitrarily large finite models, however. First-order arithmetic has no finite models. : )

[So8res]

Oh, yeah, that’s a typo. Fixed, thanks.