22
Природне будівництво
Натуральні числа, включаючи 0, формально визначаються як множини наступним чином : Число 0 визначається як порожній набір, {} Для n ≥ 0 число n +1 визначається як n ∪ { n }. Як наслідок, n = {0, 1, ..., n -1}. Першими числами, визначеними цією процедурою, є: 0 = {} …