数学论文（V-Logic的Tableaux系统） (2-2)

定理1。设Γ⊢N在V-逻辑中，V是一个证明。这个证明也是公开的游戏则它的确定性在ZF C的模型之间是绝对的。

这种V逻辑的“游戏化”在一个

集合论的多元宇宙概念。特别是，这可能是一个优势有助于V逻辑多元宇宙的构建。

参考文献

Arrigoni，T.和iedman（2013）。“超宇宙计划”。在：公告

符号逻辑19.1，第77-96页。

Barwise，Jon（1969）。“无穷逻辑与可容许集”。在：The Journal of

符号逻辑34.2，第226–252页。

--（1975年）。可容许集合和结构。施普林格，柏林。

Dickmann，Maximo Alejandro（1975）。大型不定式语言：模型理论。

纽约，纽约。

Keisler，H Jerome（1971）。无限逻辑的模型理论。北荷兰，阿姆斯特丹。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。