# 希尔伯特公理体系

> 希尔伯特公理（Hilbert's Axioms）是欧几里得几何的现代化基石，由大卫·希尔伯特于1899年在其著作 Grundlagen der Geometrie（中译：《几何基础》）中提出。 除本套公理以外，亦有其他对欧几里得几何的公理化尝试，如塔斯基公理以及伯克霍夫公理。

- ID: m09309
- 分类: structure
- 领域: 逻辑学

## 定义

- 将数学建立在严格的公理基础上，从少数公理出发推导全部定理脚手架作用：形式化典范。提供了"从公理出发"的思维范式，影响了整个现代数学和逻辑学。

## 机制

希尔伯特在《几何基础》中用公理化方法重建欧几里得几何：把点、线、面当作满足少数公理的未定义对象，强调“一致性、独立性、完备性”，开启形式化公理体系范式。

## 练习

1) 建立系统时先列出最小公理集；2) 检查公理是否一致、独立、完备；3) 用纯逻辑关系推导，不依赖直观。

## 脚手架用法

形式化典范。提供了"从公理出发"的思维范式，影响了整个现代数学和逻辑学。

[阅读网页](https://thinkingmodels.site/entries/detail/m09309)