• iii@mander.xyz
    link
    fedilink
    English
    arrow-up
    0
    ·
    edit-2
    2 months ago

    Math is what you get when you agree to disagree on all but 8 axioms (1). Then go “yeah? prove it” on any other statement.

    • oce 🐆@jlai.lu
      link
      fedilink
      arrow-up
      0
      ·
      2 months ago

      I think they also disagree on the choice of axioms, like are they too much or not enough and are they truly independent? See the criticism part of the article.