 The second step of Kripke’s argument is to appeal to what he calls Hilbert’s thesis (attributing the name to Martin Davis): this is the thesis that the steps of any mathematical argument can be expressed “in a language based on first-order logic (with identity)” (Kripke 2013: 81).