Redigerer Gottlob Frege (avsnitt)

=== Logikk ===
Etter at [[Aristoteles]]' [[syllogisme|syllogistiske]] logikk hadde vært fremherskende i over 2000 år, innledet Frege i [[1879]] med utgivelsen av verket ''Begriffsschrift'' (''Begrepsskrift'') en ny epoke i logikken. I boken utviklet Frege et revolusjonerende nytt logisk system, en ny [[aksiom|aksiomatisk]] logikk, som er blitt kjent som [[predikatslogikk]]en.

Freges og blant annet [[George Boole]]s og [[Ernst Schröder]]s arbeid var med på å drive logikkens utvikling så langt at det ble mulig å undersøke matematikkens grunnlag ved hjelp av [[matematisk logikk]].