Dess upphov är Freges försök att i motsättning till Kant visa att aritmetiken är analytisk. Med detta mål strävade Frege efter att inom de av honom uppställda logiska kalkylerna dels rekonstruera de aritmetiska grundbegreppen, dels bevisa de aritmetiska axiomen. Arbetet möttes av en allvarlig motgång då hans system i och