Henkin-Konstruktion

Ein Verfahren zur Konstruktion eines Modells einer konsistenten erstordentlichen Theorie, indem man die konsistente Formelmenge zu einer maximal konsistenten (Henkin-)Theorie erweitert, die explizite Zeugen-Konstanten für existentielle Formeln enthält, und dann das kanonische Termmodell (oder den Quotienten nach beweisbarer Gleichheit) bildet.