Definición: formula_37  si y sólo para toda interpretación  y todo mundo posible "w" en "N", si  formula_21  para todo formula_39  en  formula_40, entonces  formula_20.