A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment
Mattias Granberg Olsson · 2017
The notion of fulfilment of a formula by a sequence of numbers, an approximation of truth due to Kripke, is presented and subsequently formalised in the weak arithmetic theory IΣ1, in some detail. ...