 Zermelo-Fraenkel set theory clearly represents a foundational system in this sense.  The axioms of ZFC are usually formulated in a formal first-order language; and they describe a comprehensive universe, the cumulative hierarchy of sets, in which mathematical objects such as number systems, groups, rings, topological spaces, etc. can be represented.