人工智能, 数学, 数理逻辑, 计算机科学, 逻辑学

ω-一致理论 (Ω-consistent theory)

, , , ,