Logic & Mathematics

Multicore (+16/-9)
Multicore (-176)
ScottL (+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.