Lambda calculus people have the phrase "adequate numeral system" because they've discovered many different numeral systems.