null

теоремы

доказанные утверждения · истина навсегда
имя тип обновлено
теорема Гёделя о неполноте
истина шире доказуемости
логика 2026.04
теорема Кантора
|A| < |P(A)|
теория множеств 2026.04
теорема Пифагора
a² + b² = c²
геометрия 2026.04
основная теорема арифметики
единственность разложения на простые
арифметика 2026.04