Soweit ich weiss, gibt es mehrere sich teils widerstrebende Ansaetze, Gerhard Gentzen und Paul Lorenzen, mit so in Art Strichliste, lieferten recht feine Umsetzungen von Arithmtik und zweiter von Analysis ab. -- Room 608 00:38, 6. Jul. 2010 (CEST)