Eubulides, Richard, Gödel
Gdy w połowie XIX wieku odkryto geometrie nieeuklidesowe, zainteresowanie matematyków zaczęło zwracać się w stronę podstaw matematyki. Na jakich podstawach można lub należy oprzeć matematykę? Na tym tle zrodził się w latach 20. XX wieku tzw. program Hilberta, postulujący zbudowanie sformalizowanej matematyki na fundamencie aksjomatycznym i wyprowadzanie z aksjomatów twierdzeń jedynie za pomocą ściśle określonych reguł. Tak zbudowana teoria powinna być zupełna i niesprzeczna i te jej własności powinny dać się udowodnić.