← Back to context Comment by JonChesterfield 3 days ago Choosing the axioms is difficult. 2 comments JonChesterfield Reply petesergeant 3 days 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 3 days 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.