The Dutch term "grondstelling" matches the English term "axiom"