The unfolding of non-finitist arithmetic
scientific article; zbMATH DE number 1501502