首页
系统
动态
电子资讯
硬件
数码
软件介绍
网络软件
系统工具
应用软件
图形图像
多媒体
编程开发
字体下载
登录
标签
induction
signature=03f882b1493b2f633252f15c9dc6f833,An induction principle for consequence in arithmetic univ...
摘要: Suppose in an arithmetic universe we have two predicates and ψ for natural numbers, satisfying a base cas
induction
signature
arithmetic
univ
Principle
admin
10天前
9
0