3 ms·

Perhaps it would be correct to say that we discover mathematical objects but invent theorems about them.