BYPASSING RATIONALS FOR REALS
                                                  STRATEGY TACTICS

   CLOSURE ON RATIONAL NUMBER LOGARITHM
          --------------------->
     SHIFT|                    ^CLOSURE ON
      FROM|                    |DEFINED
  RATIONAL|                    |RATIONAL
   NUMBERS|                    |LOGARITHM
          |                    |(RESTRICTED
          V-------------------->SYSTEM)
 DEVELOP DEFINED RATIONAL ARITHMETIC
In a DECIMAL NUMBER, the digits prior to the DECIMAL POINT form the CHARACTERISTIC (denote as "C"); posterior digits form the MANTISSA (denote "M"); many decimals are formed by their combination ("CM"). DEFINED LOGARITHM (for any OPERATION o):  S o S = S; usually of the form CM. ALL ARITHMETIC OPERATIONS, EXCEPT ROOT EXTRACTION AND LOGARITHM, WORK FOR DEFINED LOGARITHMS. The number, logba is IRRATIONAL whenever a,b are COPRIME (with no shared integral factor), prevailing for an UNCOUNTABLE number of cases.
         CLOSURE ON A TOTAL NUMBER SYSTEM       
           ------------------------->
 SHIFT FROM|                        ^ALL OPERATIONS
    DEFINED|                        |EXCEPT LOGARITHM
LOGARITHMIC|                        |CLOSED IN
 ARITHMETIC|                        |REAL NUMBER
           |                        |SYSTEM
           V----------------------- >
  DEVELOP CAUCHY SEQUENCE VECTORS ARITHMETIC
         COMBINING
  A CAUCHY SEQUENCE (GENERALIZING ARITHMETIC PROGRESSION) IS: A SEQUENCE {an} SUCH THAT, FOR EVERY e > 0, THERE EXISTS AN INTEGER N FOR ALL |an - am| WITH m, n > N. (CAUCHY) SUMS Of INFINITE SEQUENCES CAN BE DEFINED. THIS IS ACCOMPLISHED BY ADJOINING (TO FINITE OPERATIONS OF ARITHMETIC) THE TRANSFINITARY OPERATION OF LIMIT (AN ANTITONIC PROCESS), PROVIDING THAT EVERY CAUCHY SEQUENCE EXISTS, WHEREIN EVERY FINITE SUBSEQUENCE IS RATIONAL. THIS ALLOWS FORMATION OF VECTORS OF THE FORM [ c, 0]; [0, m]; [c, m], MIXED TYPE. WHEREAS DEFINED LOGARITHMS ARE RESTRICTED, NO SUCH RESTRICTION EXISTS ON VECTOR COMPONENTS, PROVIDED NO VIOLATING OF RATIONAL ARITHMETIC.
         "AWKWARD" VECTOR NOTATION       
         ------------------------->USE DECIMAL
    SHIFT|                        ^NUMBER NOTATION
     FROM|                        |FOR THE THREE
  VECTORS|                        |VECTOR CLASSES:
OF CAUCHY|                        |CLOSED FOR ALL
     SUMS|                        |OPERATIONS EXCEPT
         V----------------------- >ROOT EXTRACTION
  REDUCE: 3 EQUIVALENCE CLASSES OF VECTORS
         COMBINING
SO REAL NUMBERS ARE VECTORS OF CAUCHY SUMS OF RATIONAL NUMBERS. BUT THIS VECTOR NOTATION IS AWKWARD & CAN BE BYPASSED. HOW? BY USING WRITING THE THREE VECTOR EQUIVALENCE CLASSES AS DECIMAL NUMBERS. THE VECTOR [c, 0] BECOMES AN INTEGRAL REAL NUMBER. THE VECTOR [0, m] BECOMES A DECIMAL NUMBER WITH CHARACTERISTICS ZERO, MANTISSA NONZERO. AN THE MIXED VECTOR, [c, m], BECOMES AN OBVIOUS FORM OF DECIMAL NUMBER. THIS GENERATES THE REAL NUMBER SYSTEM IN WHICH THE EXPONENTIATION INVERSE OF LOGARITHM ALWAYS EXISTS.