Infinite and natural numbers
  The infinite numbers of the set M of finite and infinite natural numbers are defined starting from the sequence 0\Phi, where 0 is the first natural number, \Phi is a succession of symbols S and xS is the successor of the natural number x. The concept of limit of the natural number n, when n tends to infinite, is examined. Definitions and theorems about operations with elements of M, equivalence and equality of natural numbers, distance between elements of M and the order of the elements are presented. 
Jailton C. Ferreira