теорема, в которой доказывается, что при определенных условиях сингулярность должна существовать и что, в частности, началом Вселенной должна быть сингулярность.
Источник: Краткая история времени. Глоссарий