This implies that the discovery of math and the existence of math ultimately comes down to human taste and can only be learned by studying humans. I'd like to think human reasoning is a crude approximation to mathematics in all its glorious purity, not the other way around.