“first-order logic cannot, in general, distinguish finite models from infinite models.”
Specifically, if a fist order theory had arbitrarily large finite models, then it has an infinite one.
“first-order logic cannot, in general, distinguish finite models from infinite models.”
Specifically, if a fist order theory had arbitrarily large finite models, then it has an infinite one.