An application of proof theory is to show that certain undecidable statements are not provable.
Unha aplicación da teoría da proba é mostrar que certos enunciados indecidíbeis non se poden demostrar.