Gottlob Frege:

Gottlob Frege (1848 – 1925) war ein deutscher Logiker, Mathematiker und Philosoph. Er stellte die Logik in ihrer jetzigen, modernen mathematischen Form dar mit dem Aufbau eines Aussagen- und Prädikatenkalküls als formalisiertes System.