نظرية مثبتة ذاتيا