关于定理的陈述。它通常给出一个从旧定理获得新定理的标准,可以通过根据规则(对偶原理)更改其对象,或者通过将其转移到另一个领域(从范畴论到群论),或转移到同一领域内的另一个上下文(从线性变换到矩阵)。
元定理
另请参阅
元数学, 元理论, 定理此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
参考文献
Mitchell, B. "元定理." §4.1 in 范畴论。 New York: Academic Press, pp. 93-97, 1965.Winter, D. J. 矩阵代数。 New York: MacMillan, p. 295, 1992.在 Wolfram|Alpha 中被引用
元定理请引用为
Barile, Margherita. "元定理。" 来自 MathWorld—— Wolfram 网络资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Metatheorem.html