数学, 证明论, 递归论, 逻辑学, 集合论

可容许序数 (Admissible ordinal)

, , , ,