数学, 模型论, 递归论, 逻辑, 集合论

可采纳集合 (Admissible set)

, , , ,