希尔伯特公理系统H

1927年，希尔伯特构建的证明系统被视为希尔伯特晚期成熟的公理系统，其公理组成包括：蕴涵公理、∧公理、∨公理、～公理、¬公理。