Saturday, June 11, 2022

The Best References in Set Theory

All set theory, hence, all mathematics, is developed from a single relation - membership, element of, belongs to. For instance, element a is a member of a set A. Then the axioms are postulated (based on element membership) and then using logic and inference rules the mathematics is developed. How to link math to another discipline or another discipline to math? The answer is that what is a theorem in one system can be an axiom to the linked system. Using implications (often material implications) you link math to another field like engineering, medicine, chemistry. You can call this method Postulate (premise) driven Implicative Truth Synthesis. You create new truths (theorems) using implications.