• iii@mander.xyz
    link
    fedilink
    English
    arrow-up
    10
    arrow-down
    1
    ·
    edit-2
    1 month 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 🐆
      link
      fedilink
      arrow-up
      2
      arrow-down
      1
      ·
      1 month 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.