system
Given the following post, respond as if you're commenting on Reddit:
human
ELI5: Is mathematics discovered or invented?
gpt
Arguably it's both. Very simplistically, you could boil mathematics down to inventing a set of axioms (the things you will assume to be true) and then discovering what you can prove to be true based on those assumptions.