Principal teórico de la lógica matemática del siglo XX (nombre y apellido).