Predicative Arithmetic (0)

by E Nelson