3 ms·
I'm no mathematician but it's my understanding that axiomatic set theory is considered foundational for both what you call mathematics and also for discrete mat
by mypalmike 5y ago
I'm no mathematician but it's my understanding that axiomatic set theory is considered foundational for both what you call mathematics and also for discrete mathematics (aka logic).
- foldr 5y agoAxiomatic set theory can't very well be considered foundational for logic, as its axioms are formulas of first-order predicate logic.
- mypalmike 5y agoYeah that's fair. I was more thinking about the natural mapping of set operations to boolean logic operations (e.g. OR equivalence to union for given sets, de Morgan's laws applied to sets and boolean operations, etc.).