   This axiom gives a much less obvious insight into the intended meaning of ‘\(\isa\)’ than the original 1920 axiom. For a delicately balanced combination of brevity with clarity the following equivalent two-axiom set is perspicuous: