Peanissimo
Господа и дамы, у меня заскок, прошу помощи зала. Речь идёт о системе аксиом Пеано, определяющих множество ℕ натуральных чисел (для удобства мы включаем туда ноль, рискуя оскорбить память Арнольда). Я хочу чуть-чуть подкрутить "
историческую аксиоматику второго порядкаПомимо тривиальных аксиом для отношения = (равенство), мы вводим
(
Read more... )