a definition of truth for if sentences can be given, alternatively, by means of a translation into existential second-order logic. the translation generalizes the skolemization procedure of first-order logic. falsity is defined by a dual procedure called kreiselization.