给出“理论”的形式化定义。
出自:计算机科学