идеальное неформализованное знаковое моделирование, основанное на правилах математики
идеальное, формализованное, знаковое моделирование, основанное на правилах логики и математики
материальное, формализованное моделирование, основанное на правилах логики и математики