Learning to exist without proving oneself