Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbaren Veränderlichen mit unendlichem Ausdehnungs-bereich. English translation in van Heijenoort (1923)

by T Skolem