O núcleo de FOL