It was used earlier by Ed Nelson in his book Predicative Arithmetic, Princeton University Press, 1986.
Данный термин был ранее использован Эдом Нельсоном () в своей книге «Предикативная Арифметика» ().