Predicative arithmetic - Nelson, Edward (Mathematical notes, 1986)