A FOL theory T has a model iff every finite subset of T has a model. A cornerstone of model theory; proves existence of non-standard models of arithmetic and infinitesimals.
A FOL theory T has a model iff every finite subset of T has a model. A cornerstone of model theory; proves existence of non-standard models of arithmetic and infinitesimals.