Вклад участника 188.242.201.102
Для 188.242.201.102 обсуждение блокировки журналы срабатывания фильтров
5 января 2020
- 12:2812:28, 5 января 2020 разн. история −15 Аксиомы Пеано →Формализация арифметики: В прошлом блоке вводились аксиомы для натуральных чисел без нуля, так как в противном случае 1 = S(0), но у нас 1 != S(n). Исправил и эти аксиомы для натуральных чисел, начинающихся с 1. Метка: через визуальный редактор