Førsteordens formel

Mengden av førsteordens formler er den minste mengden slik at: - Alle atomære formler er formler - Hvis F og G er formler, er ¬F, (F ∧ G), (F ∨ G), (F → G) formler. - Hvis F er en formel og x er en variabel , er ∀xF og ∃xF formler Alle forekomster av en variabel x i F sies å være bundet i formlene ∀xF og ∃xF og innenfor skopet til den gjeldende kvantoren. Skop er hvor variabelen er synlig.