3 ms·
Choosing the axioms is difficult.
by JonChesterfield 1y ago
Choosing the axioms is difficult.
- petesergeant 1y agoPresumably made easier by something like Lean where you can have a very minimal set of axioms, because things you might use as axioms already have proved versions, in Lean.
- deleted 1y ago[deleted]