Logicizmus je smer v logicko-filozofickom zdôvodňovaní matematiky, ktorý vychádza z Leibnizovej tézy o redukovateľnosti matematiky na logiku. Realizovať tuto ideu sa koncom 19. storočia pokúsil Frege, ktorý si vytýčil za úlohu definovať východiskové matematické pojmy iba pomocou logických termínov.[1]