＞数理逻辑与数学基础＞证明论＞释义 metamathematics 元数学 metamathematics 元数学†
人工智能 人工智能逻辑 释文 metalogic 元逻辑
- G. Darboux
- G. Darboux (1842—1917)
- GDB
- G. D. Birkhoff
- G. D. Birkhoff (1884—1944)
- GDC Award
- GDDS
- G. Debreu
- G. Debreu (1921—2004)
- G. de B. Robinson
- G. de B. Robinson (1906—1992)
- G. de Rham
- G. de Rham (1903—1990)
- G. Desargues
- G. Desargues (1591—1661)
- G. de Vries
- G. de Vries (1866—1934)
- GDF model
- G.D.Grebenshchikov
- GDH
- GDI
- GDL
- G. D. Mostow
- G. D. Mostow (1923—2017)
- GDMS