269,155
次編輯
變更
元数学
,無編輯摘要
元数学在形式化系统中研究问题，只要是研究形式化理论的学科都可以在其中汲取到一定的营养。在元数学的范畴中，当需要处理一个特殊的形式体系时，可以把这个形式体系称为对象理论，而关于它的元数学就叫做元理论。 元理论是直觉的并且是非形式的一种数学，元理论将用寻常的语言来表示。根据需要也可直接引入适当的符号(称为元符号)。在元理论中，断言必须被理解，推理必须被确信。元理论研究所采用的方法是“有穷性方法”，即必须能给出算法。
==视频==
===<center> 元数学 相关视频</center>===
<center>数学课《一元一次不等式》</center>
<center>{{#iDisplay:j0661jr32jn|560|390|qq}}</center>
<center>达也在线科普魔法多次元理论</center>
<center>{{#iDisplay:m3200uh2zis|560|390|qq}}</center>
==参考文献==
[[Category:310 數學總論]]