НЕРАЗРЕШИМОСТЬ ТЕОРИЙ см. Металогика, Разрешения проблемы.