Symbolic logic and the real number system - Lightstone, A. H- (New York Harper & Row, 1965)
p. 222.
Keywords: Arithmetic -- Foundations; Logic, Symbolic and mathematical