更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月15日 (二) 21:25的版本

删除21字节 、 2026年9月15日 (星期二)
→‎与SRT的对应
第470行： 第470行：     
{| class="wikitable"
 
{| class="wikitable"
−
|+ Lawvere定理与克林第二递归定理的对应
+
|+ Lawvere定理与SRT的对应
 
|-
 
|-
 
! Lawvere 抽象范畴概念
 
! Lawvere 抽象范畴概念
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51265”

导航菜单