a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
rob05c  ·  3484 days ago  ·  link  ·    ·  parent  ·  post: Are mathematics created or discovered?

Sure. I was considering operators to be axioms, e.g. 'union is the set of all distinct elements' is certainly a definition/axiom we created. It's been a while since I had Discrete, I'm not sure what the exact definition of 'axiom' is.