＞数理逻辑与数学基础＞证明论＞释义 metamathematics 元数学 metamathematics 元数学†
人工智能 人工智能逻辑 释文 metalogic 元逻辑
- closed semigroup
- closed semisphere
- closed sentential formula
- closed sequence
- closed set
- closed set basis
- closed-shelf book selling
- closed shell
- closed shell ion
- closed-shell ion
- closed shell molecule
- closed simplex
- closed solid sphere
- closed solution
- closed space
- closed sphere
- closed star
- closed string
- closed subalgebra
- closed subbase
- closed subcomplex
- closed subfield
- closed subgroup
- closed submanifold
- closed subscheme