@julesh - in a sense ZFC set theory is a massive mountain of technical debt. Most mathematicians just keep building on it.