Утверждение: сколь угодно сложная система и ее поведение могут быть смоделированы с требуемой точностью посредством описания классов элементов системы (определяющих их свойства, поведение и возможные взаимосвязи) и , собственно, посредством взаимосвязанной совокупности экземпляров этих классов...

Вопрос: это доказывается? Это доказывалось когда либо?