希尔伯特公理系统H

（数学术语）
1927年，希尔伯特构建的证明系统被视为希尔伯特晚期成熟的公理系统，其公理组成包括：蕴涵公理、∧公理、∨公理、～公理、¬公理。
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：