Il est d'usage courant dans les démonstrations de transcendance.
Cela consiste à montrer que certaines propriétés des nombres réels ne peuvent pas être dérivées logiquement des axiomes de l'arithmétique, ce qui implique l'existence de nombres réels non dénombrables.