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