Stav dette: Lógica de primer orden