Outerconst is a constant with some properties outside of the normal instance of mathematics, some not, therefore allowing it to be comparable to regular numbers while also completely breaking how infinites work. The instance Outerconst is contained within is "B-Mathematics", while the traditional instance is "A-Mathematics".
Notations
For reference, the following notations will be used:
X from A-Mathematics translated to B-Mathematics
Definition
Outerconst is defined as , or the B-mathematical counterpart of 0. The axioms of B-mathematics are:
- For a predicate with arbitrary amount of arguments , being true implies that is also true.
- For any A-mathematical , is always B-mathematical and not A-mathematical.
- For any A-mathematical and B-mathematical , .
- The domain of is all of A-mathematics, and the range is all of B-mathematics.
- If is not larger than any B-mathematical number and isn't B-mathematical, than is A-mathematical.
Expansions
Outerconst's definition can be easily be extended to allow for bigger numbers, such as:
- A-Mathematics and B-Mathematics can be generalized into an infinite chain of mathematics.
- For weaker extensions, Outerconst can be just added or incremented etc. like a normal number
Symbolism
Outerconst's glyph resembles a triangle, the typical symbol for a hierarchy, being crossed out with a line. This denotes the removal of hierarchial bounds, which Outerconst does something similar to (but redefining instead of deleting).