An orey sentence for predicative arithmetic (1989)

by M B Kalsbeek