从理论上讲，利用模型库中的“元件”可以构造出任意形式且无穷多的模型，以解决任何所能表述的问题。