本文探讨了-zermelo中的逻辑带有选择的fraenkel集合论（zfc）。二者之间的范畴对偶余代数和代数允许zfc的布尔值代数模型被解释为煤焦。的模态轮廓-逻辑有效性可以然后在一个代数逻辑中得到支持，以及-逻辑有效性可以通过确定性自动机来定义。我认为哲学上述内容的意义有两个方面。首先，因为认识论和的模态轮廓-逻辑有效性与二阶有效性相对应逻辑结果，-逻辑有效性是真正合乎逻辑的。第二前面提供了对数学解释的模态说明词汇。
1简介
本文考察了结果关系的哲学意义在中定义-集合论语言的逻辑。我认为，和第二个一样秩序逻辑，有效性的模态轮廓-逻辑使属性在认识上易于处理。由于余代数和代数之间的对偶性集合论的布尔值模型可以被解释为余代数。在里面第2节，我演示了-逻辑有效性可以是在一个coargebraic逻辑中，以及如何-逻辑有效性可以进一步通过自动机定义。最后，在第3节中的模态轮廓的表征-哲学的逻辑有效性数学考试。我认为-逻辑有效性是真正合乎逻辑的，以及（ii）它提供了对“集合”概念的形式把握的模态描述。第4节提供结论性意见。
2定义
在这一节中，我定义了zermelo-frenkel集合论的选择公理。我定义了大基数公理的数学性质，它可以与zfc相邻，我提供了特性的详细表征属于-zfc的逻辑。因为余代数是布尔值代数的对偶的型号-逻辑，然后刻画了一类代数逻辑建模模态逻辑和确定性自动机。模态代数模型的自动机提供了模态的精确表征以及-逻辑有效性。
21 axioms1
extensionality
x,y(zz∈x z∈y) → x = y
empty set
xyy∈/x
pairing
x,yzww∈z w = x v w = y
union
xyzz∈y ww∈x ∧ z∈w
powerset
xyzz∈y z x
separation (with →x a parameter)
→x ,yzww∈z w∈y ∧ a(w,→x )
infinity
x∈x ∧ yy∈x → y u {y}∈x
foundation
x(yy∈x) → y∈xz∈xz∈/y
replacement
x,→y [z∈x!wa(z,w,→y )] → uww∈u z∈xa(z,w,→y )
choice
x∈/x → f∈(x →ux)y∈xf(y)∈y
22大基数
实数的borel集是ww或r，在可数交集下闭合和并集。2对于所有序数，a，使得0＜a＜w1，并且b＜a，∑0a表示w的开子集在π0中集合的可数并集下形成的wb，和π0一表示w的闭子集w在∑的可数交集下形成0b。实数的投影集是ww、 由互补（ww–u、 对于uww） 投影[p（u）={x1，…，xn∈ww|yx1，xn，y∈u｝]。对于所有的序数a，使得0＜a＜w，π10表示w的闭子集w；π1一是通过取w的开子集的补集而形成的w、 ∑1一；和∑1a+1是由π1中集合的投影形成一。全幂集运算定义了集的累积层次结构v，例如v0=；va+1=（v0）；和vλ=a＜λva。在内部模型程序中（参见woodin，200120102011；kanamori，2012，a，b），可定义的幂集运算定义了可构造的宇宙，l（r），在集合v的宇宙中，其中集合是可传递的，使得a∈c ac；l（r）=vw+1；la+1（r）=def（la（r））；且lλ（r）=a＜λ（la（r））。通过内部模型，gdel（1940）证明了广义连续体假说，一a=a+1，以及选择公理，相对于zfc的公理。然而，对于序数的可数传递集mzf的一个模型没有选择，可以定义一个泛型集g，这样，对于所有公式，ξ，或者是，都是由g中的条件f强制的。设m[g]=a＜kma[g]，使得m0[g]={g}；其中λ＜k，mλ[g]=a＜λma[g]；和ma+1[g]=vama[g]3g是m上的cohen实，它包含一个集强迫集合力的关系，，可以在地上定义模型m，使得强迫条件f是w转化为{0,1}，并且如果f（u）=1则fu∈g，如果f（u）=0则f⊕u∈/g。基数开放稠密地面模型的m和一般扩展g是相同的，仅当满足可数链条件（ccc），使得给定一个链-即，偏序（自反、反对称，传递）集&存在一个可数的、最大的反链，由成对的不兼容的强制条件。通过集强制扩展，cohen（19631964）构造了zf模型，该模型否定了广义连续体假设，从而证明了它相对于zf公理的独立性gdel（1946/1990：1-2）提出，orey句子的价值如果有人利用更有力的理论，新的无穷大公理——即大基数公理——是邻接的。5他写道：“在集合论中，例如，连续扩展可以用更强和更强的无穷大公理。当然不可能给出一个组合以及关于什么是无穷大公理的可判定的特征；但是可能存在，例如，以下类型的特征：无穷大公理是具有某种（可判定的）形式结构并且在加法是正确的。这种可证明性的概念可能具有所需的闭包性质，即以下可能为真：集合论的任何证明在集合论之上的下一个更高系统中的定理。可由证明替换从这样一个无穷大的公理。对于这样一个概念可证明性——一个完整性定理会成立，它会说集合论中可表达的每一个命题都可由现有公理加判定关于集合宇宙的大性的一些真实断言。
对于基数，x，a，c，ca在a中是无界闭的，如果它是闭的[如果x＜c和则a∈c]和无界（c=a）（kanamori，同前：360）。基数s在a中是静止的，如果，对于任何闭无界ca，cus=（同前）。理想是在可数并集下闭合的集合的子集，而滤波器是在可数交集下闭合的子集（361）。基数kis正则ifk的共尾性由具有基数的集合的并集组成小于k–与k相同。不可计数的正则极限基数是弱的不可访问的（同前）。强不可访问基数是正则的，具有强极限，使得如果λ＜k，则2λ＜k（同前）。
大基数公理是由初等嵌入定义的，
因此可以定义嵌入。对于模型a、b和条件ξ、j:a→ b
ξa1，a中的an当且仅当Γj（a1），j（an）在b（363）中。可测量基数被定义为由j的临界点crit（j）（koellner和woodin，2010:7）。可测量基数是不可访问的（kanamori，同前）。
设k为基数，η＞k为序数。k则η-强，如果存在传递类m与初等嵌入j:v→ m、 使得crit（j）=k、 j（k）＞η和vηm（koellner和woodin，同前）。
k是强的当且仅当，对于所有η，它是η-强的（同前）。
如果a是一个类，k是η-a-强，如果存在j:v→ m、 使得k是η-强
和j（a≠vk。
k是woodin基数，如果k是强不可访问的，并且对于所有avk是基数ka＜k，使得ka是η-a强的，对于所有η，使得kη，η＜k
（koellner和woodin，同前：8）。
k是超容，如果j:v→ m、 使得crit（j）=k和vj（k）m导致k以下存在任意大的woodin基数（同前）。
大基数公理可以定义如下。
xΦ是一个大型基数公理，因为：
（i） Φx是一个∑2-公式，其中&39;一个句子是∑2-条件，如果它是
形式：存在一个序数α使得vαψ，对于某个句子ψ&39;（woodin，2019）；
（ii）如果k是基数，使得v|=Φ（k），则k是强不可访问的；
（iii）对于所有的一般偏序p∈vk，vp|=Φ（k）；ins是非平稳的完美的ag是l（r）中实数的正则表示，即解释m[g]中的a；h（k）由其传递闭包为＜k（参见woodin，2001:569）；和l（r）pmax|=h（w2），∈，ins，ag|=“ξ”。p是l（r）中的齐次偏序，使得l（rp继承了l（r）的一般不变性，即绝对性。因此，l（r）最大功率是（i）有效完备的，即在集强制扩展下不变；和（ii）极大，即满足所有的π2-条件，因此通过集强制一致
地面模型（woodin，ms:28）。
假设zfc，并且存在一个适当的woodin基数类；a∈p（r）Γl（r）；Γ是一个π2-项；和v（g），sthz（w2），∈，ins，ag|=“ξ”：那么，可以证明l（r）pmax|=h（w2），∈，ins，ag|=“ξ”，其中“Γ”：=a∈Γ∞h（w1），∈，a |=ψ。
确定性公理（ad）指出，每一组实数，一个ww是决定woodin（1999）的axiom（）可以这样支持：
adl（r）和l[（pw，
由此可以导出20=2因此，ch；因此ch是绝对可以决定。
在最近的工作中，woodin（2019）提供了证据，证明ch可能对比，是真的。ch的真相将从woodin的真相中走出来
终极l猜想。以下定义来自woodin（同前）：
&39;传递类是一个内部模型，如果[，对于序数ord的类，-hk]
ordm和mzfc’。l、 可构造实和hod，可遗传有序可定义集合是内部模型假设n是一个内部模型[a] 是v的不可数（正则）基数。n具有[a]-覆盖性质，如果所有的σn，如果|σ|＜[a]，则存在t∈n使得：σt和|t|＜[a]。
n具有[a]-近似性质，如果对于所有集合xn
等价：（i）x∈n和（ii）对于所有σ∈n，如果|σ|＜[a]，则σ∈x∈n。假设n是一个内部模型，并且σn。那么n[σ]表示最小的内部模型，
使得nm和σ∈m。假设n是一个内部模型，[a]是强烈不可访问。则n具有[a]-泛型性质，如果对于所有σ[a]，
如果|σ|＜[a]，则n[σ]≠va是n∈va的cohen扩张=ultimate-l则表示&39;（i）存在一类适当的woodin基数，和（ii）对于每一个∑2-项ξ，如果Γ在v中成立，则存在普遍的baire
集合ar使得hodl（a，r）拓扑空间 并且对于所有连续函数π： → r
n、 原像
π对a在空间中具有baire性质’ baire的财产
如果，对于拓扑空间ax的子集，存在这样的开集u \8838x
其中，u是一个极小子集，其中，是对称差，即相对补的并集，并且拓扑空间的子集是贫乏的，如果它是无处稠密集的可数并集，其中的无处稠密子集如果它们与开集的并集不是稠密的，则拓扑成立。
终极-l猜想如下：“假设[a]是一个可扩展基数。[a] 是一个可扩展基数如果对于每个λ＞[a]存在一个初等嵌入j:vλ+1→ vj（λ）+1使得crt（j）=[a]并且j（[a]）＞λ。然后可以证明是内部模型n，使得：1。n具有[a]-覆盖和[a]-近似属性。2n具有[a]-泛型性质。3n&39;v=最终-l“（woodin，同前）。
23-思维方式
对于偏序，p，设vp=vb，其中b是（p） 8 ma=（va）m和mba=（vb一)m=（vmb一)。sent表示一组句子在集合论的一阶语言中。t｛ξ｝是一组扩展的句子zfc。ctm缩写了可数传递性∈-模型的概念。cba。
缩写了完全布尔代数的概念。
在v中定义cba，这样vb让vb0=；vbλ=b＜λvbb，其中λa极限序数；vba+1＝｛f:x→ b|xvba} ；和vb=a∈onvb一。ξ在vb中为真，如果其布尔值为1b，当且仅当vb|=b=1b。
因此，对于所有序数，a和每个cbab，vba≠（va）
五、b所有x∈vb的iff，y∈vbx=yb=1biff x∈vbb=1b。
然后，vba|=Γiff vb|=“va|=ξ”。
-则逻辑有效性可以定义如下：
对于t｛ξ｝sent，
t|= 如果对于所有序数，a和cbab，如果vb一|=t，然后vb一|=ξ。
假设存在一类适当的woodin基数，并且如果t｛ξ｝sent，则对于所有设置的强制条件，p:
t|= Γiff vt|=&39;t|= ξ’，
其中t|= Γlect|=&39;t|= ξ’。
这个-猜想指出v|= ξiff vb|= ξ（woodin，ms）。因此-逻辑有效性在中的地面模型的所有集强制扩展中是不变的
集合论宇宙。
-逻辑是由普遍的拜尔实数集定义的。对于一个基数，e，设集合a是e-泛baire，如果对于所有偏序p基数e，wxλ上存在树s和t，使得a=p[t]并且如果gp是泛型的，则p[t]g=rg–p[s]g（koellner，2013）。a是普遍的baire，如果它是e-universally baire for all e（同前）。
-逻辑是健全的，因此v → v|= 。然而，完整性属于-逻辑尚未解决。
最后，在范畴理论中，范畴c由为每对对象c（a，b）对象一组箭头（venema，2007:421）。
范畴c到范畴d的函子，e:c→ d、 是操作映射对象和c的箭头到对象和d的箭头（422）。上的一个内函子c是函子，e:c→ c（同前）。
e-余代数是一对a=（a，μ），其中a是c的对象，称为a的载体，和μ:a→ e（a）是c中的箭头，称为过渡
a的地图（390）。
a=a，μ：a→ e（a）是函子上代数范畴的对偶μ（417-418）。如果μ是集合范畴上的函子，则余代数模型是对偶到布尔代数模型-逻辑有效性。
上述内容的意义在于，代数模型本身可能以便定义模态逻辑和自动机。coalgebras提供。
因此，集合论的布尔值模型的配置文件-逻辑有效性，并且自动机可以相互定义。在下文中，a将包括余代数模型——对偶到完全布尔值定义在-zfc的逻辑——其中模态相似类型和自动机是可定义的。作为模态逻辑的一个代数模型，a可以定义为如下（407）：
对于一组公式，Φ，设Φ：=□Φ∧Φ，其中Φ表示设{ξ|Γ∈Φ（同前）。然后，ξlect{Γ，t}，
□Γlect∧Γ（同前）
Φ＝{w∈w|r[w]{Γ|Γ∈Φ}和ξ∈|Β，Γξr[w]=}
（方丹，2010:17）。
设一个e-余代数模态模型，a=s，λ，r[]，其中λ（s）是命题字母的选择在s中的s为真，并且r[s]是s的后继集
在s&39;中，使得s，sΦ当且仅当，对于s∈s的所有（一些）后继σ，[Φ，σ（s）∈e（a）]（venema，2007:399407），其中e（⊕a）是满足关系as xΦ。设函子k为关系kk（a）x k（a&39;）（venema，2012:17））。设z为二元关系stza x a&39;和z（a） x（a&39;），带有z:＝{（x，x&39;）|x∈xx&39;∈x&39;与（x，x&39;）∈z∧（同前）。然后，我们可以定义关系提升，k！，如下所示：
k:={[（π，x），（π&39;，x&39;）]|π=π&39;和（x，x&39;z} （venema，2012:17）。因此可以定义确定性自动机的代数模型（venema，2007:391）。自动机是一个元组，a=a，ai，c，, f，使得a是自动机a的状态空间；ai∈a是自动机的初始状态；c是自动机字母表的编码，将数字映射到自然数；: a x c→ a是一个转换函数，fa是容许状态的集合，其中f将a映射到{1,0}，使得f:a→ 1如果a∈f和a→ 如果a∈/f为0（同前）。代数自动机的确定性其范畴与满足-逻辑结果，是由woodin基数的存在所保证的：假设zfc，则λ是woodin基数的极限，即存在一个通用的集强制扩展gw＜λ的坍缩，并且r=｛rg[a]|a＜λ}，则r|=确定性（ad）（koellner和woodin，同前：10）。
模态自动机是在模态一步语言上定义的（venema，2020：
72）当a是命题变量的集合时，格的集合latt（x）
x上的项具有以下语法：
π：：=||x|π∧，其中x∈x和π∈latt（a）（同前）。
模态一步公式在a上的集合1ml（a）具有以下g马尔：
α∈a:：=||π|□π|α∧α|αα（同前）。
模态p自动机a是三元组（a，θ，ai），其中a是非空有限一组状态，ai∈a，一个初始状态，和过渡映射θ：a xp→ 1ml（a）将状态映射到模态一步公式，具有p命题字母，p（同前：73）。
最后，a=a，α：a→ e（a）是代数范畴的对偶函子α（417-418）。对于范畴c、对象a和内函子e，定义新箭头，α，stα：ea→ a可以进一步定义同态f在代数a，α和\10216\ b，β\10217之间。那么，对于代数的范畴可以定义以下交换平方：（i）ea→ eb（ef）；（ii）ea→ a
（α） ；（iii）eb→ b（β）；和（iv）a→ b（f）（参见hughes，2001:7-8）。还是一样余代数范畴的交换平方成立，使得后者通过反转（ii）[a中态射的方向来定义→ ea（α） ]和（iii）[b→ eb（β）]（同前）。
因此，a是模态、确定性自动机、对偶的代数范畴到的完全布尔值代数模型-定义的逻辑有效性。
在集合的范畴中
leach-krouse（ms）定义了-结果令人满意
以下公理：
对于一个理论t和□ξ：=tbαzfc tbα，
zfc zfc□
zfc□（→ ψ）→ (□→ □ψ）
zfc□→ zfc
zfc□→ □□
zfc□(□→ ξ）→ □
□(□→ ψ） ∧□(□ψ∧ψ→ Γ），其中添加到gl的该条款是逻辑
在zfc中“所有vk为真，所有k强不可访问”。
3讨论
本节探讨了莫代尔-哥尔布雷克的哲学意义tomata和它们所对应的集合论语言的布尔值模型是双重的。我认为，类似于二阶逻辑结果，（i）的“数学纠缠”-逻辑有效性不会破坏其sta作为纯粹逻辑关系的tus；以及（ii）模态剖面和模型的理论表征-逻辑后果为其情节提供了指导因此，我认为有几个考虑因素赞成集合概念的解释是构成性的涉及模态概念。语气词范畴的作用istic自动机在（i）表征-逻辑结果，以及（ii）构成了该概念的形式理解条件集合的概念，为累积的现实主义概念提供了支持等级制度。
31-逻辑有效性是真正合乎逻辑的
frege（1884/1980；1893/2013）的建议——基数可以是通过指定的同一性和等价性之间的双条件来说明概念上的关系，可以用二阶逻辑的特征来表达——是第一次尝试在逻辑的基础上为数学提供基础公理而非理性或经验直觉。在弗雷格（1884/1980。引用：68）和wright（1983:104-105），概念a的数量被认为是与概念的数量b相同，当且仅当存在一对一a和b之间的对应关系，即存在来自a的双射映射r对于nx：一个数值项形成算子，a→ y（通过∧rxy∧z（bz∧rxz→y=z）]∧y[by→ x（ax∧rxy∧z（az∧→ x＝z））]]]。
frege定理指出
算术可以从前面的抽象原理推导出来，作为扩充到二阶逻辑和恒等式的签名。11因此，如果二阶逻辑可以算作纯逻辑，尽管二阶模型的域可以通过幂集运算来定义，那么哲学的一个方面抽象主义程序的意义在于它提供了一个基础，关于以非增广的纯逻辑为基础的经典数学抽象原理所表达的逻辑隐含定义。
zfc中定义的逻辑可能至少有三个原因不破坏其后果关系的逻辑地位。第一个数学纠缠的原因-逻辑有效性可能是无伤大雅的是，正如夏皮罗（1991:514）所指出的，许多数学性质不能在一阶逻辑中定义，而是需要表达式二阶逻辑资源。例如，良好基础的概念不能在一阶框架中表达，如对紧凑性。设e为二元关系。如果不存在无限序列，a0，ai，使得ea0，eai+1都是真的。
如果m是有充分基础的，那么就不存在无限个下降的e链。认为t是包含m的一阶理论，对于所有自然数，n，存在具有n+1个元素a0…的t，an，使得a0，a1an，an1是e的扩张。通过紧致性，存在一个无限序列，这样那a0。ai，stea0，eai+1都是真的。因此，m没有充分的依据。
然而，相比之下，良好的基础可以用二阶表达式来表示
框架：
x→ x[xx∧y（xy→ eyx）]]，使得m是有充分根据的iff
每个非空子集x都有一个元素x，st。x中没有任何元素与e到x有关。
有根据的哲学意义的一个方面是
当成员关系在给定的模型中使用。这与putnam（1980）的权利要求形成对比，一阶模型mod是可以预期的，如果mod中的每个实数集s都是这样的
mod中的w-模型包含s并且是可构造的，使得-给定downward lowenheim-skolem理论12——如果mod是不可构造的，但具有满足“s”的子模型是可构造的，则该模型是不成立的。而且必须是有意的。索赔取决于以下假设：
理解意图的条件和条件必须是共同广泛的，我将在第42节中返回
第二个原因-逻辑的数学纠缠可能不是错误的，使得-逻辑可能是真正合乎逻辑的，可以通过与二阶的比较再次得到赞赏。思维方式shapiro（1998）定义了逻辑的模型理论表征
结果如下：
’（10）Φ是[模型]Γ的逻辑结果，如果Φ在所有可能性中都成立在Γ’（148）中的非逻辑术语的每一种解释下。
上述条件称为“同构性质”，
根据“如果两个模型m，m”相对于非逻辑的同构，则m满足Φ当且仅当m&39;满足Φ&39;（151）。
夏皮罗认为，结果关系指定使用第二秩序资源是合乎逻辑的，因为它具有模态和认知特征。这个二阶有效性的认知可处理性在于“典型健全性”orems，其中表明给定的演绎系统是保真的’（154）。
他写道：“如果我们知道一个模型是一个很好的数学模型逻辑结果（10），那么我们就知道使用声音不会出错
演绎系统。此外，我们可以知道，争论是一个合乎逻辑的结果…通过元理论中的集合论证明”（154-155）。
二阶有效性的模态轮廓提供了第二种交流方式计算财产在认识上的易处理性。例如，夏皮罗认为：“如果同构性质成立，则在评价句子和论点时，我们唯一需要“改变”的“可能性”就是宇宙的大小。如果尺寸足够在模型的宇宙中表示，那么逻辑con的模态性质序列将被注册。[t] 我们唯一保留的“模态”是“可能的大小”，
其被归入集合论元理论’（152）。
夏皮罗关于支持逻辑的考虑因素的评论非有效二阶有效性的cality推广到-逻辑有效性。在里面上一节-逻辑有效性由代数模态逻辑范畴a与完备范畴的对偶性的布尔值代数模型-思维方式正如夏皮罗对原木的定义ical结果，其中Φ在模型宇宙中的所有可能性中成立。
可能性涉及集合论元理论中的“可能大小”，这个-猜想指出v|= ξiff vb|= ξ，使得-逻辑有效性在集合论中地面模型的所有集强迫扩展中是不变的宇宙。
最后-逻辑有效性是安全的，两者都一样夏皮罗对二阶逻辑后果的描述——通过其合理性，但也由于它是确定性自动机的coargebraic范畴的对偶，其中woodin的存在再次保证了其确定性大基数。
32意图与集合的概念
最后，在本节中，我认为-可以利用逻辑以说明集合概念的理解条件。
putnam（同前：473-474）认为，定义一阶理论的模型足以理解和说明预期的解释后者。相比之下，wright（1985:124-125）认为数学概念的条件不能被其理论，甚至基于对这些理论的预期解释。他例如，建议：
“如果真的有不可计数的集合，那么它们的存在肯定是必须的流从集合的概念，直观地令人满意地解释。这里，那里在我看来，没有任何假设zf公理的内容不能超过在所有经典模型下不变的。[banacerraf]写道，
例如：“他们有自己的‘预期解释’：‘∈’是指集合成员身份。即便如此，并被认为是对直觉的编码在集合的概念中，它们不包含不可数集合的存在性。那么怎么能确实存在这样的集合？benacerraf的回答是zf公理是除了确保
“∈”表示集合成员关系，我们对它们进行解释以观察约束“通用量词必须表示所有或至少所有集合”（第103页）。
当然，如果集合的概念确实决定了背景，坎托定理在其预期的解释下是健全的，集合的概念可以用“∈”的意图意义和zf公理成立的规定。残留物大概包含在非正式的解释中，贝纳瑟拉夫提醒我们，泽梅洛有意用他的形式化回答。至少&39;假设对角化引理成立，使得fqa（q）。
对于第一个不完全性定理，应用对角化引理对可证明性谓词-provf（x）的否定，产生如下低沉的句子：
&39;（z）fmf provf（mf）。
“假设mf是可证明的。通过可证明性的弱可表示性在provf（x）的in-f中，f也将证明prov f（mf）。因为f证明了z——即。
fmf provf（mf）–f将证明-mf。所以f是不一致的因此，如果f是一致的，那么mf在f中是不可证明的。
&39;假设f是w-一致的。那么，假设f-mf。然后f不能证明mf，因为它将是w-不一致的。因此数n是mf的一个证明的哥德尔数。因为证明关系是强可表示的，对于所有n，f-prff（n，mf）。如果fxperff（x，mf），f是不w-一致的。因此，f不证明xperff（x，mf），即f不能证明provf（mf）。根据（z）中记录的等价性，f不能证明-mf。
’对于第二个不完全性定理：假设一致性con（f），定义为？provf（），其中表示一个不一致的公式，如0=1。形式化f中第一不完全性定理的证明得到f缺点（f）→ mf。如果cons（f）在f中是可证明的，那么mf也是。假设fmf 缺点（f）。因此，考虑到第一个不完全性，cons（f）是不可证明的定理。
在上文中，编码的选择桥接了语言中的数字具有目标数字的属性。因此，编码的选择内涵，并已被整理，以论证这一概念。句法可计算性&通过部分递归函数的等价类离散状态自动机的项、λ可定义项和转移函数，如图灵机——是组成语义的（参见rescorla，2015）。毛皮在自我现象中可以看到内涵的其他点reinhardt（1986）介绍了算术中的参考文献。莱因哈特（op。引用：470-472）认为可证明性谓词可以相对于特定特工的头脑——类似于奎因（1968）和刘易斯（1979）建议通过相对于pa定义可能的世界来集中它们范围在时空坐标元组或代理和位置上的参数——并且可以为上述思想和可计算系统的概念。
第二点，在这一点上，可以证明理解条件是一致的认识权的条件可以见证制度模态假设哥德尔的第二不完全性orem被证明是一致的（参见dummett，1963/1978；wright，1985）。wright（同前：91，fn。9）建议“将证明视为建立一致性”是含蓄地排除任何疑问。关于一阶num的一致性ber理论。赖特对认识权利概念的阐述。他认为，理性“信任”的概念是通。过计算决策理论背景下的“预期认知效用”（2004；2014:226，241）。wright指出，服从于认知权利的理性信任将要务实，并提出一个有趣的观点，即“务实的原因不是一种特殊的理性类型，与例如认知的、谨慎的和道德原因”（2012:484）。然而，至关重要的是，预期事件的想法决策理论背景下的temic效用对概念产生了隐含的吸引力。
在可能的世界中，后者可以再次由代数决定模态自动机的逻辑。
第三个考虑援引有利于把握事实的思想集合的概念可能构成性地具有模态轮廓，即概念可以是定义为一种内涵，即从可能的世界到延伸的功能。这个然后可以将coargebraic模态逻辑中的模态相似类型解释为动态解释模态，其中有人认为，运营商可能会对该理论的量词的领域（参见fine，20052006），以及诸如隶属关系之类的非逻辑概念的张力（参见uzquiano，2015）。16第四个考虑直接利用了-必然的结果虽然上述动态解释模式就足够了对于数学术语的可能的重新解释后果关系是这样的，如果-那么猜想是真的-必然的。有效性在地面模型的所有可能集强制扩展中都是不变的集合论宇宙。真相-由此推测正式理解内涵的不可撤销的必要条件集合的概念。
4结束语
在这篇文章中，我考察了二元性的哲学意义自动机与布尔值代数模的模态间余代数模型模态的els-思维方式我认为——就像第二种有效性的性质一样订单逻辑--逻辑有效性是真正合乎逻辑的。然后，我争辩说煤代数确定性自动机，其特征是-逻辑结果，是数学解释的组成部分成员关系等概念。
参考文献
avigad，j2021。基础。
https://arxivorg/pdf/200909541pdf
awodey，s，lbirkedal和dscott。2000本地可实现拓扑和
可计算性的模态逻辑。技术报告编号cmu-phil-99。
arntzenius，f2012。空间、时间和物质。牛津大学出版社。
bagaria，j，ncastells和plarson。2006a-逻辑入门。中的趋势
数学：集合论。birkhuser verlag。
巴尔塔格，a2003。认知程序的联合语义。电子的
理论计算机科学笔记，82:1。
布洛斯，g，1987年。弗雷格算术基础的一致性。在jj。
汤姆森主编，《存在与言说》。麻省理工学院出版社。
chihara，c2004。数学结构论。牛津大学
按
dedekend，r1888/1963。是有罪的吗？在dedekind
（1963），《数论随笔》，文·w·贝曼主编。多佛。
deutsch，d2010。除了宇宙。在ssaunders，jbarrett，akent，
和dwallace（编辑），《许多世界？埃弗雷特，量子理论与现实。
牛津大学出版社。
deutsch，d2013。构造器理论。synthese，190。
dummett，m1963/1978。哥德尔定理的哲学意义。
在dummett（1978），真相和其他谜。哈佛大学出版社。
fine，k2005。我们对数学对象的了解。在tgendler和j。
霍桑主编，《牛津认识论研究》，第1卷。牛津大学
按
fine，k，2006年。相对无限制的量化。在arayo和g。
uzquiano（编辑），《绝对通论》。牛津大学出版社。
方丹，盖勒。2010。模态固定点逻辑。illc论文系列ds-2010-
9
弗雷格，g1884/1980。《算术基础》，第二版，文·j·l·奥斯汀。
西北大学出版社。
弗雷格，g1893/2013。《算术基本定律》，卷i-ii，tr和编辑pebert，
mrossberg、cwright和rcook。牛津大学出版社。
哥德尔，k，1931年。论数学原理的形式不可解命题ica及其相关系统i哥德尔（gdel，1986），《文集》第一卷，s。
feferman、jdawson、skleene、gmoore、rsolovay和jvan heijenoort。
牛津大学出版社。
哥德尔，k，1946年。在普林斯顿大学prob二百周年大会上的讲话数学硕士。在哥德尔（1990），文集，第二卷，sfe编辑ferman、jdawson、skleene、gmoore、rsolovay和jvan heijenoort。
牛津大学出版社。
halbach，v和avisser。2014算术中的自我参照isym综述玻利维亚逻辑，7:4。
霍桑，j2010。metamedicitor看埃弗雷特解读。在s。
桑德斯、j·巴雷特、a·肯特和d·华莱士（编辑），《许多世界？埃弗雷特，
量子理论和现实。牛津大学出版社。
henkin，l、jdmonk和atarski。1971圆柱代数，第一部分，北荷兰
jech，t2003。《set theory》第3版，千年版，施普林格出版社。
kanamori，a2007。哥德尔和集合论。符号逻辑公报，13:2。
kanamori，a2008。科恩和集合论。符号逻辑公报，14:3。
kanamori，a2012，a。大红雀与强迫。在dgabbay，akanamori，
和jwoods（编辑），逻辑史手册：
二十世纪。爱思唯尔。
kanamori，a2012，b。从康托尔到科恩的集合论。在dgabbay，a。
kanamori和jwoods（编辑），逻辑史手册：集合和
二十世纪的扩展。爱思唯尔。
koellner，p2010。关于一阶和二阶强逻辑。的公告
符号逻辑，16:1。
koellner，p2013。大型红雀和确定性。斯坦福百科全书
哲学
koellner，p和whwoodin。2010年，《决定性的大红雀》。在m中。
foreman和akanamori（编辑），《集合论手册》，第3卷。施普林格。
kurz，a和apalmigiano。2013代数的认识论更新。必然的
计算机科学方法，9:4:17。
lando，t2015。一阶s4及其测度论语义。的年鉴
《纯粹与应用逻辑》，166。
leach krouse，g。-模态逻辑的结果解释。
lewis，d1979。《迪克托与德塞的态度》，《哲学评论》，88:4。
lewis，p2016。量子本体论。牛津大学出版社。
maddy，p1988，a。相信公理：《符号逻辑杂志》，53:2。
maddy，p1988，b。相信公理二。符号逻辑杂志，53:3。
marcus，g，2001。代数思维：连接主义与认知的整合
科学麻省理工学院出版社。
mckinsey，j和atarski。1944拓扑代数。编年史
数学，第二辑，45:1。
皮诺，g1889/1967。算术原理，由一种新方法提出
（文·范）。在范海耶诺德（1967）。
putnam，h1980。模型与现实。符号逻辑杂志，45:3。
奎因，wv1968。命题对象。crtica，2:5。
rasiowa，h1963。模态理论。《哲学学报》，16。
raatikainen，p2022。哥德尔的不完全性定理。斯坦福特哲学百科全书（2022年春季版），enzalta
（编辑），url=＜
https://platostanfordedu/archives/spr2022/entries/goedel不完全性/＞。
reinhardt，w1974。关于反思原则、大红雀和
基本嵌入。tjech（编辑），《纯粹的专题讨论会论文集》
数学，第13卷，第2部分：公理集理论。美国数学
社会
reinhardt，w1986。认识论与哥德尔《in》的解读完备性定理。《哲学逻辑杂志》，15:4。
rescorla，m2015。计算的代表性基础。
《数学哲学》，doi:101093/philmat/ncv009。
rutten，j2019。coalgebra方法。cwi。
桑德斯，s和d华莱士。2008年，分支与不确定性。英国期刊
科学哲学，59。
夏皮罗，s1991。没有基础主义的基础。牛津大学
按
夏皮罗，s1998。逻辑后果：模型和模态。在mschirn
（编辑），《今日数学哲学》。牛津大学出版社。
竹内，m1985。拓扑代数。代数杂志，97。
uzquiano，g2015。不确定可拓性的变种。圣母院杂志
形式逻辑，58:1。
venema，y2007。代数和代数。在pblackburn，jvan benthem，
fwolter（编辑），《模态逻辑手册》。爱思唯尔。
venema，y2012。模态μ-微积分讲座。
venema，y2013。圆柱模态逻辑。在handrka、mferenczi和i。
nmeti（编辑），类圆柱代数与代数逻辑。jnos bolyai mathe数学学会和施普林格出版社。
venema，y2020。模态μ-微积分讲座。
wallace，d2012。新兴的多元宇宙。牛津大学出版社。
wilson，a2011。埃弗雷特量子力学中的宏观本体论。
《哲学季刊》，61:243。
woodin，wh1999。确定性公理、强迫公理和非公理静止的理想。de gruyter。
woodin，wh，2001年。连续体假说，第一部分：美国注意事项can数学学会；48:6。
woodin，wh，2010。无穷大的强公理与vproceedings的搜索
国际数学家大会主席。
woodin，wh2011。无限的境界。在mheller和woodin（编辑）中，
无限：新的研究前沿。剑桥大学出版社。
woodin，wh2019。连续体假说（幻灯片）。
woodin，wh女士 猜想
wright，c1983。弗雷格关于数字作为物体的概念。阿伯丁大学
按
wright，c1985。斯科勒姆和怀疑论者。亚里士多德学会会刊，
补充卷，59。
wright，c2004。无担保（以及免费基金会）？诉讼程序
亚里士多德学会，补充卷，78:1。
wright，c2012。答复，第四部分：认股权证的转让和权利。在里面
a科利瓦（编），《心灵、意义与知识》。牛津大学出版社。
wright，c2014。论认识论权利。在ddodd和ezardini（编辑）中，
怀疑主义和感知正当性。牛津大学出版社。