Существование (в математике), сказал Анри Пуанкар, должно быть свободным от противоречия. Но простое существование не гарантирует выживание. Чтобы выжить в математике, требуется своего рода жизнеспособность, которая не может быть описана в чисто логических терминах.