|贴子

2023-10-28
巨大花园数葛立恒数二吧
(完整版，个人翻译，如有错误欢迎各位大佬指正) 通过将一元函数符号U添加到具有可数个...
2023-10-25
BigFoot葛立恒数二吧
（本帖为搬运，非本人翻译） 一阶oodle理论的语言被定义为集合论的语言，用符号“&...
2023-10-25
Fish number 7葛立恒数二吧
（个人翻译，如果错误欢迎评论区指正） 在Rayo的原来的微语言中添加一个oracle公式，...