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