• 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.