• iii@mander.xyz
    link
    fedilink
    English
    arrow-up
    9
    arrow-down
    1
    ·
    edit-2
    4 days 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
      3
      arrow-down
      1
      ·
      4 days 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.