Мое использование категории "моделирование" вы отклонили, и может быть, правильно: там речь идет о научном методе исследования в естественных науках, а то что мне бы хотелось подчеркнуть, относится скорее к методологии таких дисциплин, как математика, программирование  тоесть, которые к естественным наукам обычно не относятся. Может, использовать просто сам термин "теория моделей", интерпретируя его в несколько более общем смысле  не только как название одной из конкретных теорий математической логики?