Assim, podemos considerar o primeiro teorema nulo e não existente.

Entretanto, ainda não ouvimos um clamor para mudar o nome do último teorema de Fermat para primeiro teorema de Wile.

A dimensão necessária de tal aglomerado pode ser determinada pelo primeiro teorema de Seldon, que...

O primeiro teorema de Gödel afirma que a incompletude é o destino de qualquer sistema lógico; nunca haverá um sistema que explique tudo.

Por exemplo, os primeiros teoremas sobre a distribuição de números primos foram provados dessa forma.

"Ela produz um impasse na teoria, impedindonos de provar esse primeiro teorema."

Por conseguinte, era possível que nossos primeiros teoremas da singularidade meramente provassem que o universo não tinha uma superfície de Cauchy.

Os teoremas de Gödel têm sido aclamados como "os primeiros teoremas novos de lógica pura em dois mil anos".