我一直在思考什么“数学模型”可以用来对所有可能的事物（包括它自己）进行建模。
示例：一个简单的神经元网络对函数进行建模，但不对算法进行建模。指令列表模拟算法，但不模拟元素之间的关系......
您可能会想“也许没有什么可以模拟一切”，但实际上“语言”确实可以模拟一切，包括它自己。问题是它不是一个有组织的模型，也不清楚如何从头开始创建它（例如，如果你将它发送给没有任何常识的外星人）。
那么，对可以交流的每一种可能的思想进行建模的数学模型的一些可能的形式化是什么？
编辑1：
我正在寻找的结构形式化必须具有一些必要的属性：
- 分层的：想法的表示应该依赖于其他想法。（例如，一个编程函数是一组编程函数，“bottle of water”这个概念是“water”和“bottle”两个概念的总和......）
- 元素的唯一性：当一个想法在其定义中使用另一个想法时，它必须引用一个特定的想法，而不是每次都重新创建它。例如，当您想到数字“9”和数字“8”时，您会注意到两者顶部都有一个小圆圈，您不会每次都重新创建一个新概念“圆圈”，而是使用固定概念“圈子”为一切。相比之下，神经网络可能会为不同的输入重新创建相同的分支。因此，如果概念的两个表示不同，则它们必须不同。）