نظریه اثبات و تحلیل قدرت اثباتی سیستم‌های صوری