更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月12日 (六) 09:24的版本

删除27字节 、 2026年9月12日 (星期六)
→‎带参数的形式
第317行： 第317行：     
=== 其它形式的第二递归定理 ===
 
=== 其它形式的第二递归定理 ===
−
====带参数的形式====
   
====uniform====
 
====uniform====
 
====Smullyan双递归定理====
 
====Smullyan双递归定理====
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51191”

导航菜单