Dart DevRel @ Google, web engineer, author, conference organizer.
Model theory began with the study of formal languages and their interpretations, and the kinds of classification that a particular formal language can make.