 In contemporary set theory the notion of the successor of a number is defined directly for the ordinals as \(s(x) =  x \cup \{x \} \) rather than by adding 1, and addition is defined using the familiar recursive definition: