Un L-enunciato A è una verità logica (in FO) se e solo se A è vera in tutte le L-strutture S = (U, I). Quindi se qualunque L-struttura S e modello di A.
$$ Si\ scrive\ \models_{FO}A $$