Формальная арифметика по Бурбаки

[alex_dorin]

Где прочитать о формальной арифметике по Бурбаки, желательно не у Бурбаки ?
Если возможно, пожалуйста, сообщите коротко о подходе Бурбаки.

[arseniiv]

А что, у них какой-то особый подход?