更改

递归定理 (查看源代码)

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

删除21字节、 2026年9月15日 (星期二)

→‎与SRT的对应

第470行：第470行：

{| class="wikitable"

{| class="wikitable"

−

|+ ~~Lawvere定理与克林第二递归定理的对应~~

+

|+ Lawvere定理与SRT的对应

|-

|-

! Lawvere 抽象范畴概念

! Lawvere 抽象范畴概念

行政员、界面管理员、管理员

3,094

个编辑

取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51265”