Abstrakt
Článek se soustředí na vývoj základů aritmetiky od slibných začátků u Frega a Dedekinda (logicistická teze), přes kataklyzma Russellovy antinomie (intuicionistická antiteze) až ke spisům pozdního Hilberta a Paula Lorenzena (konstruktivistická synteze).