Copyright 10/31/2021 Justin Coslor -- F of N of ONE --
(Sieg, Wilfried - 2013 Oxford University Press, Hilbert's Programs and 
Beyond, page 12) "(structural definitions such as simply infinite 
systems and complete ordered fields) .. a system N is simply infinite if 
a distinguished element 1 of N and a mapping f on N exist that satisfy 
the following conditions: 
(i) f[N], the image of N under f, is a subset of N, 
(ii) N is the chain of the system {1}, i.e., is the intersection 
of all systems that contain 1 as an element and are closed under f, 
(iii) 1 is not an element of f[N], and 
(iv) f is injective."
(Coslor, Justin - 2021 http://picform.org/2021/F-of-N-of-ONE.txt) "A 
function inputs less than N, where N is a system of Numbers over {ONE} 
not contained in N, and outputs greater than N to ONE. f<[N]>1 " It is 
like saying that part of what is beyond the Universe was put into it, 
and that part is distinct from the rest and from the Universe, and the 
result in the Universe is greater than what went into it.