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