It was a bit tongue-in-cheek, but I'd argue that mathematical foundations (maybe not set theory interpreted strictly) does take aim at answers to "why is there something?" and "where do humans find meaning?". Possibly by unifying the questions!