Axioms of Soft Logic

This chapter presents the fundamental definitions of Soft logic. We reference the mathematical exercise of dividing zero by itself, which is usually considered unsolvable—even though every real number can be a solution. This notion led to the idea of the zero axis. We present the first four axioms of Soft logic through which we define bridge numbers that can be added, subtracted, multiplied, divided, rooted, and exponentiated. We also show that the set of bridge numbers constitutes almost an algebraic field (Klein and Maimon 2019).