2026年决定性公理试卷及解析.docxVIP

2026年决定性公理试卷及解析

一、单项选择题（共10题，每题1分，共10分）

决定性公理的核心适用场景是以下哪类集合对应的二人无限博弈？

A.自然数集上所有无限序列构成的子集

B.实数集上所有有限序列构成的子集

C.整数集上所有有限序列构成的子集

D.有理数集上所有无限序列构成的子集

答案：A

解析：决定性公理的标准定义针对的是自然数无限序列构成的波莱尔集子集对应的二人博弈，规定所有这类博弈都存在必胜策略。B选项错误，决定性公理的原始定义不针对实数有限序列场景；C选项错误，整数集上的有限序列博弈不属于决定性公理的标准讨论范畴；D选项错误，决定性公理的基础设定不以有理数集为底层构建对象。

决定性公理与以下哪条公理在标准ZFC公理系统框架下是互不相容的？

A.可数选择公理

B.完全选择公理

C.相关选择公理

D.依赖选择公理

答案：B

解析：完全选择公理可以推导出存在非勒贝格可测的实数集，而决定性公理可以推导出所有实数集都是勒贝格可测的，二者直接冲突，无法在ZFC下共存。A选项错误，决定性公理可以和可数选择公理的限定量版本共存；C选项错误，相关选择公理是决定性公理的常见相容搭档；D选项错误，依赖选择公理在决定性公理的标准模型中是成立的。

波莱尔决定性的完整证明最终是由哪位学者完成的？

A.弗里德曼

B.马丁

C.哥德尔

D.科恩

答案：B

解析：马丁在多年研究