Comment Comment by bediger4000 What would some others be? I usually only see Peano's axioms. parent bediger4000 1 year ago