Intuitionistische wiskunde. III. (Q2605655)

Verf. geht von den Grundlagenfragen (siehe vorangehendes Referat und die dort zitierte Note) zu den im engeren Sinne mathematischen Betrachtungen über: Er definiert die ganzen Zahlen, ihre Addition und Multiplikation und beweist die wichtigsten Rechengesetze. Die vollständige Induktion tritt als Beweismittel nicht explizit auf, statt dessen operiert Verf. anschaulich mit den natürlichen Zahlen. (III 1.)