Geef de definitie Logica van Frege