It was used earlier by Ed Nelson in his book Predicative Arithmetic, Princeton University Press, 1986.
Terminu tego używał wcześniej Ed Nelson w swojej książce Predicative Arithmetic, Princeton University Press, 1986.