Основная теорема алгебры: доказательство того, что уравнение n-й степени всегда имеет n комплексных корней
Диагональный аргумент Кантора (Cantor's Diagonal Argument) - Доказательство того, что действительных чисел «подавляюще больше», чем рациональных