Определение суммы натуральных чисел без рекурсии

[_hum_]

Пусть используется аксиоматика Kripke–Platek set theory. Можно ли, опираясь только на нее, и не используя рекурсию, задать одной формулой сумму для двух натуральных чисел m и n?

Если это числа m и 1, то искомая сумма m+1 = $m \cup \{m\}$, а вот в общем случае можно ли обойтись формулами теории множеств, не прибегая к мета-конструкциям типа рекурсии?