3 ms·

When will the arguments be formally-verified from sets of axioms rather than just human-verified (which is prone to error, politics and groupthink).

• leni536 11y ago
  We will never agree on the set of axioms.
  • qznc 11y ago
    You can still verify deductions, even if you disagree with the axioms.