Comment by JonChesterfield 6 months ago Choosing the axioms is difficult. 2 comments JonChesterfield Reply petesergeant 6 months ago Presumably 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.
petesergeant 6 months ago Presumably 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.
Presumably 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.