# Logic & Mathematics

 Multicore v0.2.0Sep 25th 2020 (+16/-9) Multicore v0.1.0Sep 25th 2020 (-176) ScottL v0.0.0Aug 23rd 2015 (+672) base version

MathLogic and logicMathematics are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.

Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.