Comment Comment by visualstudio Not a mathematician. If the goal is simplicity why can't you use Peano's axioms? parent visualstudio 7 years ago
