数学, 理论计算机科学, 计算机科学, 计算理论, 逻辑学

特拉克滕勃罗特定理 (Trakhtenbrot’s theorem)

, , , ,