中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
arithmetical transfinite recursion
来自维基百科,自由的百科全书
Found in articles
克魯斯卡爾樹定理
cannot be proved within ATR0 (a form of
arithmetical
transfinite
recursion
(英语:
arithmetical
transfinite
recursion
)), and a finitary(英语:finitary) application
逆数学
axiom); WKL0 (Weak König's lemma); ACA0 (
Arithmetical
comprehension axiom); ATR0 (
Arithmetical
transfinite
recursion
); Π11-CA0 (Π11 comprehension axiom);