Модели и прототипы: формальная связь в логике