希尔伯特第二问题 编辑
希尔伯特第二问题，是希尔伯特的23个问题之一，即关于一个公理系统相容性的问题，也就是判定一个公理系统内的所命题是彼此相容无矛盾的，希尔伯特希望能以严谨的方式来证明任意公理系统内命题的相容性。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]