Model theory investigates mathematical structures by means of formal languages. So-called first-ordeProducator: CRC PR INC