I like this idea. People often ask if maths is "created" or "discovered". Maybe we can say that it's "excavated" and that we know it's down there somewhere, we just need to put in a few years of shoveling.