Yep! It's even rosier than that actually; we have quite a few foundational theories that appear to be able to handle the vast majority of mathematics pretty well.