Sadece kanıtlanabilir sistemler hayatta kalacak.