Quelle  external.tex

\newlabel{PM-simple-terms}{{1}{1}{}{}{}}
\newlabel{PM-primitive-expressions}{{2}{1}{}{}{}}
\newlabel{PM-syntax}{{3}{1}{}{}{}}
\newlabel{PM-remark-pformulas}{{4}{1}{}{}{}}
\newlabel{PM-terms}{{5}{1}{}{}{}}
\newlabel{PM-bnf}{{6}{1}{}{}{}}
\newlabel{PM-conventions}{{7}{1}{}{}{}}
\newlabel{PM-df-subformula}{{8}{1}{}{}{}}
\newlabel{PM-free-in}{{9}{1}{}{}{}}
\newlabel{PM-open-formulas-terms}{{10}{1}{}{}{}}
\newlabel{PM-oa}{{11}{1}{}{}{}}
\newlabel{PM-=E}{{12}{1}{}{}{}}
\newlabel{PM-=E-infix}{{13}{1}{}{}{}}
\newlabel{PM-haecceity-expanded}{{14}{1}{}{}{}}
\newlabel{PM-identity}{{15}{1}{}{}{}}
\newlabel{PM-p-identity}{{16}{1}{}{}{}}
\newlabel{PM-def-var-remark}{{17}{1}{}{}{}}
\newlabel{PM-=-infix}{{18}{1}{}{}{}}
\newlabel{PM-two-defs}{{19}{1}{}{}{}}
\newlabel{PM-closures}{{20}{1}{}{}{}}
\newlabel{PM-pl}{{21}{1}{}{}{}}
\newlabel{PM-identity-remark}{{22}{1}{}{}{}}
\newlabel{PM-substitutions}{{23}{1}{}{}{}}
\newlabel{PM-substitutable}{{24}{1}{}{}{}}
\newlabel{PM-l-identity}{{25}{1}{}{}{}}
\newlabel{PM-identity-expand}{{26}{1}{}{}{}}
\newlabel{PM-term-same-type}{{27}{1}{}{}{}}
\newlabel{PM-logically-proper}{{28}{1}{}{}{}}
\newlabel{PM-cqt}{{29}{1}{}{}{}}
\newlabel{PM-logic-actual}{{30}{1}{}{}{}}
\newlabel{PM-logic-actual-nec}{{31}{1}{}{}{}}
\newlabel{PM-qml}{{32}{1}{}{}{}}
\newlabel{PM-qml-act}{{33}{1}{}{}{}}
\newlabel{PM-descriptions}{{34}{1}{}{}{}}
\newlabel{PM-alphabetic-variants}{{35}{1}{}{}{}}
\newlabel{PM-lambda-predicates}{{36}{1}{}{}{}}
\newlabel{PM-encoding}{{37}{1}{}{}{}}
\newlabel{PM-nocoder}{{38}{1}{}{}{}}
\newlabel{PM-A-objects}{{39}{1}{}{}{}}
\newlabel{PM-no-immediate-contradiction}{{40}{1}{}{}{}}
\newlabel{PM-modus-ponens}{{41}{1}{}{}{}}
\newlabel{PM-theoremhood}{{42}{1}{}{}{}}
\newlabel{PM-Box-theoremhood}{{43}{1}{}{}{}}
\newlabel{PM-metarules}{{44}{1}{}{}{}}
\newlabel{PM-non-con-thm-thm}{{45}{1}{}{}{}}
\newlabel{PM-vdash-properties}{{46}{1}{}{}{}}
\newlabel{PM-df-noncon-thm}{{47}{1}{}{}{}}
\newlabel{PM-dependence}{{48}{1}{}{}{}}
\newlabel{PM-rule-gen}{{49}{1}{}{}{}}
\newlabel{PM-rule-convention}{{50}{1}{}{}{}}
\newlabel{PM-RN}{{51}{1}{}{}{}}
\newlabel{PM-RN-converse-rem}{{52}{1}{}{}{}}
\newlabel{PM-if-p-then-p}{{53}{1}{}{}{}}
\newlabel{PM-deduction-theorem}{{54}{1}{}{}{}}
\newlabel{PM-ded-thm-cor}{{55}{1}{}{}{}}
\newlabel{PM-hyp-syl}{{56}{1}{}{}{}}
\newlabel{PM-meta-to-rule}{{57}{1}{}{}{}}
\newlabel{PM-useful-tautologies}{{58}{1}{}{}{}}
\newlabel{PM-modus-tollens}{{59}{1}{}{}{}}
\newlabel{PM-contraposition}{{60}{1}{}{}{}}
\newlabel{PM-reductio-aa}{{61}{1}{}{}{}}
\newlabel{PM-raa-cor}{{62}{1}{}{}{}}
\newlabel{PM-oth-class-taut}{{63}{1}{}{}{}}
\newlabel{PM-intro-elim}{{64}{1}{}{}{}}
\newlabel{PM-remark-taut}{{65}{1}{}{}{}}
\newlabel{PM-ex}{{66}{1}{}{}{}}
\newlabel{PM-id-eq-prop-prop}{{67}{1}{}{}{}}
\newlabel{PM-alphabet-rel-defs}{{68}{1}{}{}{}}
\newlabel{PM-=E-simple}{{69}{1}{}{}{}}
\newlabel{PM-id-eq-obj}{{70}{1}{}{}{}}
\newlabel{PM-id-eq}{{71}{1}{}{}{}}
\newlabel{PM-all-self=}{{72}{1}{}{}{}}
\newlabel{PM-t=t-proper}{{73}{1}{}{}{}}
\newlabel{PM-=I-=E}{{74}{1}{}{}{}}
\newlabel{PM-id-nec}{{75}{1}{}{}{}}
\newlabel{PM-id-nec-desc}{{76}{1}{}{}{}}
\newlabel{PM-rule-ui}{{77}{1}{}{}{}}
\newlabel{PM-misuse-substitution}{{78}{1}{}{}{}}
\newlabel{PM-cqt-orig}{{79}{1}{}{}{}}
\newlabel{PM-universal}{{80}{1}{}{}{}}
\newlabel{PM-rereplace-lem}{{81}{1}{}{}{}}
\newlabel{PM-rereplace-rmk}{{82}{1}{}{}{}}
\newlabel{PM-cqt-basic}{{83}{1}{}{}{}}
\newlabel{PM-existential}{{84}{1}{}{}{}}
\newlabel{PM-instantiation}{{85}{1}{}{}{}}
\newlabel{PM-cqt-further}{{86}{1}{}{}{}}
\newlabel{PM-uniqueness}{{87}{1}{}{}{}}
\newlabel{PM-nec-exist-!}{{88}{1}{}{}{}}
\newlabel{PM-nec-imp-act}{{89}{1}{}{}{}}
\newlabel{PM-act-conj-act}{{90}{1}{}{}{}}
\newlabel{PM-closure-act}{{91}{1}{}{}{}}
\newlabel{PM-RA}{{92}{1}{}{}{}}
\newlabel{PM-meta-rule}{{93}{1}{}{}{}}
\newlabel{PM-ANeg}{{94}{1}{}{}{}}
\newlabel{PM-Act-Basic}{{95}{1}{}{}{}}
\newlabel{PM-act-quant-uniq}{{96}{1}{}{}{}}
\newlabel{PM-fund-cont-desc}{{97}{1}{}{}{}}
\newlabel{PM-hintikka}{{98}{1}{}{}{}}
\newlabel{PM-russell-axiom}{{99}{1}{}{}{}}
\newlabel{PM-!-exists}{{100}{1}{}{}{}}
\newlabel{PM-y-in}{{101}{1}{}{}{}}
\newlabel{PM-act-quant-nec}{{102}{1}{}{}{}}
\newlabel{PM-equi-desc-descA}{{103}{1}{}{}{}}
\newlabel{PM-nec-hintikka-scheme}{{104}{1}{}{}{}}
\newlabel{PM-equiv-desc-eq}{{105}{1}{}{}{}}
\newlabel{PM-nec-russell-axiom}{{106}{1}{}{}{}}
\newlabel{PM-actual-desc}{{107}{1}{}{}{}}
\newlabel{PM-!box-desc}{{108}{1}{}{}{}}
\newlabel{PM-taut-nec}{{109}{1}{}{}{}}
\newlabel{PM-RM}{{110}{1}{}{}{}}
\newlabel{PM-KBasic}{{111}{1}{}{}{}}
\newlabel{PM-rule-sub-lem}{{112}{1}{}{}{}}
\newlabel{PM-rule-sub-nec}{{113}{1}{}{}{}}
\newlabel{PM-rule-sub-remark}{{114}{1}{}{}{}}
\newlabel{PM-dr-alphabetic-rules}{{115}{1}{}{}{}}
\newlabel{PM-dr-alphabetic-thm}{{116}{1}{}{}{}}
\newlabel{PM-KBasic2}{{117}{1}{}{}{}}
\newlabel{PM-TBasic}{{118}{1}{}{}{}}
\newlabel{PM-S5Basic}{{119}{1}{}{}{}}
\newlabel{PM-sc-eq-box-box}{{120}{1}{}{}{}}
\newlabel{PM-derived-S5-rules}{{121}{1}{}{}{}}
\newlabel{PM-BFs}{{122}{1}{}{}{}}
\newlabel{PM-sign-S5-thm}{{123}{1}{}{}{}}
\newlabel{PM-id-nec2}{{124}{1}{}{}{}}
\newlabel{PM-exists-desc-box}{{125}{1}{}{}{}}
\newlabel{PM-en-eq}{{126}{1}{}{}{}}
\newlabel{PM-beta-equiv-eq}{{127}{1}{}{}{}}
\newlabel{PM-beta-C-meta}{{128}{1}{}{}{}}
\newlabel{PM-relations}{{129}{1}{}{}{}}
\newlabel{PM-prop-equiv}{{130}{1}{}{}{}}
\newlabel{PM-propositions-lemma}{{131}{1}{}{}{}}
\newlabel{PM-remark-on-tautologies}{{132}{1}{}{}{}}
\newlabel{PM-propositions}{{133}{1}{}{}{}}
\newlabel{PM-prop-rem}{{134}{1}{}{}{}}
\newlabel{PM-pos-not-equiv-then-not=}{{135}{1}{}{}{}}
\newlabel{PM-df-relation-negation}{{136}{1}{}{}{}}
\newlabel{PM-thm-relation-negation}{{137}{1}{}{}{}}
\newlabel{PM-contingent-properties}{{138}{1}{}{}{}}
\newlabel{PM-thm-cont-prop}{{139}{1}{}{}{}}
\newlabel{PM-thm-noncont-e-e}{{140}{1}{}{}{}}
\newlabel{PM-lem-cont-e}{{141}{1}{}{}{}}
\newlabel{PM-thm-cont-e}{{142}{1}{}{}{}}
\newlabel{PM-4-distinct}{{143}{1}{}{}{}}
\newlabel{PM-thm-cont-propos}{{144}{1}{}{}{}}
\newlabel{PM-thm-noncont-propos}{{145}{1}{}{}{}}
\newlabel{PM-basic-prop}{{146}{1}{}{}{}}
\newlabel{PM-4-distinct-props}{{147}{1}{}{}{}}
\newlabel{PM-cont-tf}{{148}{1}{}{}{}}
\newlabel{PM-cont-true-cont}{{149}{1}{}{}{}}
\newlabel{PM-cont-tf-thm}{{150}{1}{}{}{}}
\newlabel{PM-rem-conting}{{151}{1}{}{}{}}
\newlabel{PM-oa-contingent}{{152}{1}{}{}{}}
\newlabel{PM-oa-facts}{{153}{1}{}{}{}}
\newlabel{PM-df-cont-nec}{{154}{1}{}{}{}}
\newlabel{PM-cont-nec-fact1}{{155}{1}{}{}{}}
\newlabel{PM-cont-nec-fact2}{{156}{1}{}{}{}}
\newlabel{PM-id-nec3}{{157}{1}{}{}{}}
\newlabel{PM-non-=E}{{158}{1}{}{}{}}
\newlabel{PM-thm-neg=E}{{159}{1}{}{}{}}
\newlabel{PM-id-nec4}{{160}{1}{}{}{}}
\newlabel{PM-id-act}{{161}{1}{}{}{}}
\newlabel{PM-id-act-desc}{{162}{1}{}{}{}}
\newlabel{PM-eta-variants}{{163}{1}{}{}{}}
\newlabel{PM-eta-conversion-lemma1}{{164}{1}{}{}{}}
\newlabel{PM-eta-conversion-lemma2}{{165}{1}{}{}{}}
\newlabel{PM-lambda-p-q-p=q}{{166}{1}{}{}{}}
\newlabel{PM-partition}{{167}{1}{}{}{}}
\newlabel{PM-ord=Eequiv}{{168}{1}{}{}{}}
\newlabel{PM-ord-=E=}{{169}{1}{}{}{}}
\newlabel{PM-ord=E}{{170}{1}{}{}{}}
\newlabel{PM-ord=E2}{{171}{1}{}{}{}}
\newlabel{PM-ab-obey}{{172}{1}{}{}{}}
\newlabel{PM-ordnecfail}{{173}{1}{}{}{}}
\newlabel{PM-o-objects-exist}{{174}{1}{}{}{}}
\newlabel{PM-a-objects-exist}{{175}{1}{}{}{}}
\newlabel{PM-encoders-are-abstract}{{176}{1}{}{}{}}
\newlabel{PM-A-objects!}{{177}{1}{}{}{}}
\newlabel{PM-obj-oth}{{178}{1}{}{}{}}
\newlabel{PM-A-Exists}{{179}{1}{}{}{}}
\newlabel{PM-A-descriptions}{{180}{1}{}{}{}}
\newlabel{PM-can-ind}{{181}{1}{}{}{}}
\newlabel{PM-thm-can-terms2}{{182}{1}{}{}{}}
\newlabel{PM-can-ab2}{{183}{1}{}{}{}}
\newlabel{PM-desc-encode}{{184}{1}{}{}{}}
\newlabel{PM-abstraction-contingent}{{185}{1}{}{}{}}
\newlabel{PM-desc-nec-encode}{{186}{1}{}{}{}}
\newlabel{PM-Box-desc-encode}{{187}{1}{}{}{}}
\newlabel{PM-strict-can}{{188}{1}{}{}{}}
\newlabel{PM-box-phi-a}{{189}{1}{}{}{}}
\newlabel{PM-strict-can-rem2}{{190}{1}{}{}{}}
\newlabel{PM-df-null-uni}{{191}{1}{}{}{}}
\newlabel{PM-null-uni-uniq}{{192}{1}{}{}{}}
\newlabel{PM-df-null-uni-terms}{{193}{1}{}{}{}}
\newlabel{PM-null-uni-facts}{{194}{1}{}{}{}}
\newlabel{PM-null-uni-rmk2}{{195}{1}{}{}{}}
\newlabel{PM-aclassical}{{196}{1}{}{}{}}
\newlabel{PM-aclassical2}{{197}{1}{}{}{}}
\newlabel{PM-prop-prop1}{{198}{1}{}{}{}}
\newlabel{PM-prop-prop2}{{199}{1}{}{}{}}
\newlabel{PM-prop-indis}{{200}{1}{}{}{}}
\newlabel{PM-prop-in-thm}{{201}{1}{}{}{}}
\newlabel{PM-prop-in-f}{{202}{1}{}{}{}}
\newlabel{PM-prop-prop-nec}{{203}{1}{}{}{}}
\newlabel{PM-enc-prop-nec}{{204}{1}{}{}{}}
\newlabel{PM-def-omit}{{205}{1}{}{}{}}
\newlabel{PM-def-constraint}{{206}{1}{}{}{}}
\newlabel{PM-df-rules-terms}{{207}{1}{}{}{}}
\newlabel{PM-df-rules-formulas}{{208}{1}{}{}{}}
\newlabel{PM-alphabet-defs}{{209}{1}{}{}{}}
\newlabel{PM-tvalues-remark}{{210}{1}{}{}{}}
\newlabel{PM-tv-p}{{211}{1}{}{}{}}
\newlabel{PM-p-has-!tv}{{212}{1}{}{}{}}
\newlabel{PM-uni-tv}{{213}{1}{}{}{}}
\newlabel{PM-the-tv-p}{{214}{1}{}{}{}}
\newlabel{PM-t-prov-can}{{215}{1}{}{}{}}
\newlabel{PM-prop-enc}{{216}{1}{}{}{}}
\newlabel{PM-T-lem}{{217}{1}{}{}{}}
\newlabel{PM-ab-T}{{218}{1}{}{}{}}
\newlabel{PM-the-true}{{219}{1}{}{}{}}
\newlabel{PM-TV-lem1}{{220}{1}{}{}{}}
\newlabel{PM-T-value}{{221}{1}{}{}{}}
\newlabel{PM-TVp-TV}{{222}{1}{}{}{}}
\newlabel{PM-TV-lem2}{{223}{1}{}{}{}}
\newlabel{PM-T-T-value}{{224}{1}{}{}{}}
\newlabel{PM-two-T}{{225}{1}{}{}{}}
\newlabel{PM-valueof-facts}{{226}{1}{}{}{}}
\newlabel{PM-q-True}{{227}{1}{}{}{}}
\newlabel{PM-exten-p}{{228}{1}{}{}{}}
\newlabel{PM-extof-e}{{229}{1}{}{}{}}
\newlabel{PM-ext-p-tv}{{230}{1}{}{}{}}
\newlabel{PM-tv-v-class}{{231}{1}{}{}{}}
\newlabel{PM-set-remark}{{232}{1}{}{}{}}
\newlabel{PM-naive-logical}{{233}{1}{}{}{}}
\newlabel{PM-exten-property}{{234}{1}{}{}{}}
\newlabel{PM-exten-remark}{{235}{1}{}{}{}}
\newlabel{PM-pre-LawV}{{236}{1}{}{}{}}
\newlabel{PM-unique-ext-of}{{237}{1}{}{}{}}
\newlabel{PM-the-extG-pre}{{238}{1}{}{}{}}
\newlabel{PM-the-extG}{{239}{1}{}{}{}}
\newlabel{PM-equiv-cont}{{240}{1}{}{}{}}
\newlabel{PM-eG-not-sc}{{241}{1}{}{}{}}
\newlabel{PM-ext-features}{{242}{1}{}{}{}}
\newlabel{PM-lawV}{{243}{1}{}{}{}}
\newlabel{PM-membership}{{244}{1}{}{}{}}
\newlabel{PM-mem-exem}{{245}{1}{}{}{}}
\newlabel{PM-set}{{246}{1}{}{}{}}
\newlabel{PM-mem}{{247}{1}{}{}{}}
\newlabel{PM-unique-set-of}{{248}{1}{}{}{}}
\newlabel{PM-class-x}{{249}{1}{}{}{}}
\newlabel{PM-sets=extensions}{{250}{1}{}{}{}}
\newlabel{PM-extG-class}{{251}{1}{}{}{}}
\newlabel{PM-fund-thm-class}{{252}{1}{}{}{}}
\newlabel{PM-restricted-variables}{{253}{1}{}{}{}}
\newlabel{PM-res-var-bound}{{254}{1}{}{}{}}
\newlabel{PM-res-var-free}{{255}{1}{}{}{}}
\newlabel{PM-res-var-empty}{{256}{1}{}{}{}}
\newlabel{PM-extensionality}{{257}{1}{}{}{}}
\newlabel{PM-df-null}{{258}{1}{}{}{}}
\newlabel{PM-null}{{259}{1}{}{}{}}
\newlabel{PM-df-universall}{{260}{1}{}{}{}}
\newlabel{PM-universal-class}{{261}{1}{}{}{}}
\newlabel{PM-df-unions}{{262}{1}{}{}{}}
\newlabel{PM-unions}{{263}{1}{}{}{}}
\newlabel{PM-unions-df-pre}{{264}{1}{}{}{}}
\newlabel{PM-unions-df}{{265}{1}{}{}{}}
\newlabel{PM-res-var-term}{{266}{1}{}{}{}}
\newlabel{PM-df-complements}{{267}{1}{}{}{}}
\newlabel{PM-complements}{{268}{1}{}{}{}}
\newlabel{PM-df-intersections}{{269}{1}{}{}{}}
\newlabel{PM-intersections}{{270}{1}{}{}{}}
\newlabel{PM-intersect-df-pre}{{271}{1}{}{}{}}
\newlabel{PM-intersect-df}{{272}{1}{}{}{}}
\newlabel{PM-int-mem}{{273}{1}{}{}{}}
\newlabel{PM-set-comprehension}{{274}{1}{}{}{}}
\newlabel{PM-set-ab-lprop}{{275}{1}{}{}{}}
\newlabel{PM-set-comp-df}{{276}{1}{}{}{}}
\newlabel{PM-class-ab-prin}{{277}{1}{}{}{}}
\newlabel{PM-separation}{{278}{1}{}{}{}}
\newlabel{PM-sep-ab-lprop}{{279}{1}{}{}{}}
\newlabel{PM-separation-ab}{{280}{1}{}{}{}}
\newlabel{PM-sep-ab-prin}{{281}{1}{}{}{}}
\newlabel{PM-ab-inter}{{282}{1}{}{}{}}
\newlabel{PM-weak-replace}{{283}{1}{}{}{}}
\newlabel{PM-singletons}{{284}{1}{}{}{}}
\newlabel{PM-rem-singletons}{{285}{1}{}{}{}}
\newlabel{PM-pairs}{{286}{1}{}{}{}}
\newlabel{PM-adjunction}{{287}{1}{}{}{}}
\newlabel{PM-ex-anti-ext}{{288}{1}{}{}{}}
\newlabel{PM-log-obj}{{289}{1}{}{}{}}
\newlabel{PM-df-equiv-cond}{{290}{1}{}{}{}}
\newlabel{PM-thm-equiv-cond}{{291}{1}{}{}{}}
\newlabel{PM-notate-ab}{{292}{1}{}{}{}}
\newlabel{PM-Frege-p}{{293}{1}{}{}{}}
\newlabel{PM-axiom-lines}{{294}{1}{}{}{}}
\newlabel{PM-lem-lines}{{295}{1}{}{}{}}
\newlabel{PM-df-direction}{{296}{1}{}{}{}}
\newlabel{PM-direct-line}{{297}{1}{}{}{}}
\newlabel{PM-direction-df}{{298}{1}{}{}{}}
\newlabel{PM-para-dir}{{299}{1}{}{}{}}
\newlabel{PM-directions}{{300}{1}{}{}{}}
\newlabel{PM-exist-dir}{{301}{1}{}{}{}}
\newlabel{PM-remark-shapes}{{302}{1}{}{}{}}
\newlabel{PM-lem-shapes}{{303}{1}{}{}{}}
\newlabel{PM-df-shape}{{304}{1}{}{}{}}
\newlabel{PM-shape-figure}{{305}{1}{}{}{}}
\newlabel{PM-shape-df}{{306}{1}{}{}{}}
\newlabel{PM-shape-thm}{{307}{1}{}{}{}}
\newlabel{PM-shapes2}{{308}{1}{}{}{}}
\newlabel{PM-exist-shape}{{309}{1}{}{}{}}
\newlabel{PM-equiv-rel}{{310}{1}{}{}{}}
\newlabel{PM-R1}{{311}{1}{}{}{}}
\newlabel{PM-lem-Rab}{{312}{1}{}{}{}}
\newlabel{PM-df-ab}{{313}{1}{}{}{}}
\newlabel{PM-ab-exists}{{314}{1}{}{}{}}
\newlabel{PM-df-by-ab}{{315}{1}{}{}{}}
\newlabel{PM-R-ab}{{316}{1}{}{}{}}
\newlabel{PM-form-remark}{{317}{1}{}{}{}}
\newlabel{PM-form-of}{{318}{1}{}{}{}}
\newlabel{PM-forms-exist}{{319}{1}{}{}{}}
\newlabel{PM-phi-G-pre}{{320}{1}{}{}{}}
\newlabel{PM-phi-G}{{321}{1}{}{}{}}
\newlabel{PM-phiG-sc}{{322}{1}{}{}{}}
\newlabel{PM-TheFormGFormG}{{323}{1}{}{}{}}
\newlabel{PM-pre-sp}{{324}{1}{}{}{}}
\newlabel{PM-participation}{{325}{1}{}{}{}}
\newlabel{PM-pre-OM-weak}{{326}{1}{}{}{}}
\newlabel{PM-part=ex}{{327}{1}{}{}{}}
\newlabel{PM-om}{{328}{1}{}{}{}}
\newlabel{PM-counter-sp}{{329}{1}{}{}{}}
\newlabel{PM-forms-encode}{{330}{1}{}{}{}}
\newlabel{PM-sp-remark}{{331}{1}{}{}{}}
\newlabel{PM-forms}{{332}{1}{}{}{}}
\newlabel{PM-TheFormGForm}{{333}{1}{}{}{}}
\newlabel{PM-rem-no-par}{{334}{1}{}{}{}}
\newlabel{PM-platonic-being}{{335}{1}{}{}{}}
\newlabel{PM-form-part}{{336}{1}{}{}{}}
\newlabel{PM-third-man}{{337}{1}{}{}{}}
\newlabel{PM-tforms-remark}{{338}{1}{}{}{}}
\newlabel{PM-F-imp-G}{{339}{1}{}{}{}}
\newlabel{PM-imp-facts}{{340}{1}{}{}{}}
\newlabel{PM-tform-of}{{341}{1}{}{}{}}
\newlabel{PM-tforms-exist}{{342}{1}{}{}{}}
\newlabel{PM-tphi-exist}{{343}{1}{}{}{}}
\newlabel{PM-tphi-G}{{344}{1}{}{}{}}
\newlabel{PM-tphiG-sc}{{345}{1}{}{}{}}
\newlabel{PM-tTheFormGFormG}{{346}{1}{}{}{}}
\newlabel{PM-geach}{{347}{1}{}{}{}}
\newlabel{PM-tparticipation}{{348}{1}{}{}{}}
\newlabel{PM-tpre-OM-weak}{{349}{1}{}{}{}}
\newlabel{PM-counter-tpre-rl}{{350}{1}{}{}{}}
\newlabel{PM-tpart=ex}{{351}{1}{}{}{}}
\newlabel{PM-tpta-ex}{{352}{1}{}{}{}}
\newlabel{PM-tom}{{353}{1}{}{}{}}
\newlabel{PM-tcounter-sp}{{354}{1}{}{}{}}
\newlabel{PM-tforms-encode}{{355}{1}{}{}{}}
\newlabel{PM-tforms}{{356}{1}{}{}{}}
\newlabel{PM-tTheFormGForm}{{357}{1}{}{}{}}
\newlabel{PM-SPa-b}{{358}{1}{}{}{}}
\newlabel{PM-tpart-con}{{359}{1}{}{}{}}
\newlabel{PM-tform-syl}{{360}{1}{}{}{}}
\newlabel{PM-tforms-NI}{{361}{1}{}{}{}}
\newlabel{PM-sit-remark}{{362}{1}{}{}{}}
\newlabel{PM-situations}{{363}{1}{}{}{}}
\newlabel{PM-T-sit}{{364}{1}{}{}{}}
\newlabel{PM-true-in-s}{{365}{1}{}{}{}}
\newlabel{PM-possit-sit}{{366}{1}{}{}{}}
\newlabel{PM-lem2}{{367}{1}{}{}{}}
\newlabel{PM-sit-identity}{{368}{1}{}{}{}}
\newlabel{PM-sit-part-whole}{{369}{1}{}{}{}}
\newlabel{PM-part}{{370}{1}{}{}{}}
\newlabel{PM-sit-identity2}{{371}{1}{}{}{}}
\newlabel{PM-persistent}{{372}{1}{}{}{}}
\newlabel{PM-pers-prop}{{373}{1}{}{}{}}
\newlabel{PM-df-null-trivial}{{374}{1}{}{}{}}
\newlabel{PM-thm-null-trivial}{{375}{1}{}{}{}}
\newlabel{PM-df-the-null-sit}{{376}{1}{}{}{}}
\newlabel{PM-null-triv-sc}{{377}{1}{}{}{}}
\newlabel{PM-null-triv-facts}{{378}{1}{}{}{}}
\newlabel{PM-cond-prop}{{379}{1}{}{}{}}
\newlabel{PM-pre-comp-sit}{{380}{1}{}{}{}}
\newlabel{PM-comp-sit}{{381}{1}{}{}{}}
\newlabel{PM-can-sit-desc}{{382}{1}{}{}{}}
\newlabel{PM-strict-sit}{{383}{1}{}{}{}}
\newlabel{PM-strict-can-sit}{{384}{1}{}{}{}}
\newlabel{PM-sit-lat}{{385}{1}{}{}{}}
\newlabel{PM-actual}{{386}{1}{}{}{}}
\newlabel{PM-act-and-not-pos}{{387}{1}{}{}{}}
\newlabel{PM-actual-rem}{{388}{1}{}{}{}}
\newlabel{PM-actual-s}{{389}{1}{}{}{}}
\newlabel{PM-comp}{{390}{1}{}{}{}}
\newlabel{PM-act-sit}{{391}{1}{}{}{}}
\newlabel{PM-cons}{{392}{1}{}{}{}}
\newlabel{PM-cons-remark}{{393}{1}{}{}{}}
\newlabel{PM-sit-cons}{{394}{1}{}{}{}}
\newlabel{PM-pos}{{395}{1}{}{}{}}
\newlabel{PM-sit-pos}{{396}{1}{}{}{}}
\newlabel{PM-cons-rigid}{{397}{1}{}{}{}}
\newlabel{PM-pos-cons-sit}{{398}{1}{}{}{}}
\newlabel{PM-rem-pos-world}{{399}{1}{}{}{}}
\newlabel{PM-world}{{400}{1}{}{}{}}
\newlabel{PM-double-res}{{401}{1}{}{}{}}
\newlabel{PM-true-w}{{402}{1}{}{}{}}
\newlabel{PM-world-pos}{{403}{1}{}{}{}}
\newlabel{PM-world-cons}{{404}{1}{}{}{}}
\newlabel{PM-rigid-pw}{{405}{1}{}{}{}}
\newlabel{PM-rigid-truth-at}{{406}{1}{}{}{}}
\newlabel{PM-max}{{407}{1}{}{}{}}
\newlabel{PM-world-max}{{408}{1}{}{}{}}
\newlabel{PM-maxcon-rem}{{409}{1}{}{}{}}
\newlabel{PM-world=maxpos}{{410}{1}{}{}{}}
\newlabel{PM-coherent}{{411}{1}{}{}{}}
\newlabel{PM-coh-fact}{{412}{1}{}{}{}}
\newlabel{PM-maxcon-equiv-coh}{{413}{1}{}{}{}}
\newlabel{PM-world-coh}{{414}{1}{}{}{}}
\newlabel{PM-nec-impl-p}{{415}{1}{}{}{}}
\newlabel{PM-nec-equiv-nec-im}{{416}{1}{}{}{}}
\newlabel{PM-world-clo}{{417}{1}{}{}{}}
\newlabel{PM-world-closed-lem}{{418}{1}{}{}{}}
\newlabel{PM-world-closed}{{419}{1}{}{}{}}
\newlabel{PM-conj-dist-w}{{420}{1}{}{}{}}
\newlabel{PM-act-world}{{421}{1}{}{}{}}
\newlabel{PM-remark-w-alpha}{{422}{1}{}{}{}}
\newlabel{PM-pre-walpha}{{423}{1}{}{}{}}
\newlabel{PM-w-alpha}{{424}{1}{}{}{}}
\newlabel{PM-T-world}{{425}{1}{}{}{}}
\newlabel{PM-truth-at-alpha}{{426}{1}{}{}{}}
\newlabel{PM-alpha-world}{{427}{1}{}{}{}}
\newlabel{PM-t-at-alpha-strict}{{428}{1}{}{}{}}
\newlabel{PM-not-act}{{429}{1}{}{}{}}
\newlabel{PM-w-alpha-part}{{430}{1}{}{}{}}
\newlabel{PM-act-world2}{{431}{1}{}{}{}}
\newlabel{PM-fund-lem}{{432}{1}{}{}{}}
\newlabel{PM-fund}{{433}{1}{}{}{}}
\newlabel{PM-Lew-world-con}{{434}{1}{}{}{}}
\newlabel{PM-two-worlds-exist}{{435}{1}{}{}{}}
\newlabel{PM-non-aw}{{436}{1}{}{}{}}
\newlabel{PM-iterated-modalities}{{437}{1}{}{}{}}
\newlabel{PM-world-equiv}{{438}{1}{}{}{}}
\newlabel{PM-no-contradictions}{{439}{1}{}{}{}}
\newlabel{PM-disj-dist-models}{{440}{1}{}{}{}}
\newlabel{PM-world-skeptic}{{441}{1}{}{}{}}
\newlabel{PM-tv-of-p-at-w}{{442}{1}{}{}{}}
\newlabel{PM-unique-TV-w}{{443}{1}{}{}{}}
\newlabel{PM-T-value-at-w}{{444}{1}{}{}{}}
\newlabel{PM-TW-strict}{{445}{1}{}{}{}}
\newlabel{PM-rem-res-term-can}{{446}{1}{}{}{}}
\newlabel{PM-TheTrueAtW}{{447}{1}{}{}{}}
\newlabel{PM-TW-rigid}{{448}{1}{}{}{}}
\newlabel{PM-TW-Sigma}{{449}{1}{}{}{}}
\newlabel{PM-cor-T-TV}{{450}{1}{}{}{}}
\newlabel{PM-Boxp-TwT}{{451}{1}{}{}{}}
\newlabel{PM-ext-F-at-w}{{452}{1}{}{}{}}
\newlabel{PM-unique-ext-w}{{453}{1}{}{}{}}
\newlabel{PM-ep-w-G}{{454}{1}{}{}{}}
\newlabel{PM-eG-strict}{{455}{1}{}{}{}}
\newlabel{PM-LawV-w}{{456}{1}{}{}{}}
\newlabel{PM-rem-ext-w}{{457}{1}{}{}{}}
\newlabel{PM-rem-imp-w}{{458}{1}{}{}{}}
\newlabel{PM-impwor}{{459}{1}{}{}{}}
\newlabel{PM-iw-truth-at}{{460}{1}{}{}{}}
\newlabel{PM-iw-id}{{461}{1}{}{}{}}
\newlabel{PM-unisit-impossible}{{462}{1}{}{}{}}
\newlabel{PM-false-iw}{{463}{1}{}{}{}}
\newlabel{PM-non-triv-iw}{{464}{1}{}{}{}}
\newlabel{PM-iw-notmc}{{465}{1}{}{}{}}
\newlabel{PM-iw-p-ext}{{466}{1}{}{}{}}
\newlabel{PM-iw-pext-lem}{{467}{1}{}{}{}}
\newlabel{PM-iw-fund}{{468}{1}{}{}{}}
\newlabel{PM-iw-ecq-no}{{469}{1}{}{}{}}
\newlabel{PM-iw-ds}{{470}{1}{}{}{}}
\newlabel{PM-iw-para}{{471}{1}{}{}{}}
\newlabel{PM-mc-ext-res}{{472}{1}{}{}{}}
\newlabel{PM-cons-iw}{{473}{1}{}{}{}}
\newlabel{PM-cons-ess}{{474}{1}{}{}{}}
\newlabel{PM-rem-times}{{475}{1}{}{}{}}
\newlabel{PM-leibniz-strands}{{476}{1}{}{}{}}
\newlabel{PM-concepts}{{477}{1}{}{}{}}
\newlabel{PM-con=ab}{{478}{1}{}{}{}}
\newlabel{PM-concept-comp}{{479}{1}{}{}{}}
\newlabel{PM-con-res-x}{{480}{1}{}{}{}}
\newlabel{PM-c-id}{{481}{1}{}{}{}}
\newlabel{PM-sum-pre-def}{{482}{1}{}{}{}}
\newlabel{PM-sum-exists}{{483}{1}{}{}{}}
\newlabel{PM-sum-def}{{484}{1}{}{}{}}
\newlabel{PM-sum-lemma}{{485}{1}{}{}{}}
\newlabel{PM-oplus}{{486}{1}{}{}{}}
\newlabel{PM-sum-property}{{487}{1}{}{}{}}
\newlabel{PM-cid-add}{{488}{1}{}{}{}}
\newlabel{PM-con}{{489}{1}{}{}{}}
\newlabel{PM-con-part}{{490}{1}{}{}{}}
\newlabel{PM-con-id}{{491}{1}{}{}{}}
\newlabel{PM-ic-add}{{492}{1}{}{}{}}
\newlabel{PM-def-ded}{{493}{1}{}{}{}}
\newlabel{PM-fund-leib}{{494}{1}{}{}{}}
\newlabel{PM-leib-23}{{495}{1}{}{}{}}
\newlabel{PM-prod-pre-def}{{496}{1}{}{}{}}
\newlabel{PM-product-exists}{{497}{1}{}{}{}}
\newlabel{PM-prod-def}{{498}{1}{}{}{}}
\newlabel{PM-prod-lemma}{{499}{1}{}{}{}}
\newlabel{PM-otimes}{{500}{1}{}{}{}}
\newlabel{PM-absorption}{{501}{1}{}{}{}}
\newlabel{PM-bd-lattice}{{502}{1}{}{}{}}
\newlabel{PM-boolean-rem1}{{503}{1}{}{}{}}
\newlabel{PM-distrib}{{504}{1}{}{}{}}
\newlabel{PM-comple-df}{{505}{1}{}{}{}}
\newlabel{PM-comple-exist}{{506}{1}{}{}{}}
\newlabel{PM-comple-def}{{507}{1}{}{}{}}
\newlabel{PM-comple-lemma}{{508}{1}{}{}{}}
\newlabel{PM-comple-laws}{{509}{1}{}{}{}}
\newlabel{PM-post-boole}{{510}{1}{}{}{}}
\newlabel{PM-concept-sub}{{511}{1}{}{}{}}
\newlabel{PM-ex-mereology}{{512}{1}{}{}{}}
\newlabel{PM-part-of-c}{{513}{1}{}{}{}}
\newlabel{PM-ppart-of-c}{{514}{1}{}{}{}}
\newlabel{PM-ppart-ax}{{515}{1}{}{}{}}
\newlabel{PM-null-concept}{{516}{1}{}{}{}}
\newlabel{PM-null-facts}{{517}{1}{}{}{}}
\newlabel{PM-mereo-overlap}{{518}{1}{}{}{}}
\newlabel{PM-overlap-thms}{{519}{1}{}{}{}}
\newlabel{PM-mer-sup}{{520}{1}{}{}{}}
\newlabel{PM-underlap}{{521}{1}{}{}{}}
\newlabel{PM-a-underlap}{{522}{1}{}{}{}}
\newlabel{PM-dodge}{{523}{1}{}{}{}}
\newlabel{PM-nnc}{{524}{1}{}{}{}}
\newlabel{PM-df-bottom+}{{525}{1}{}{}{}}
\newlabel{PM-no-bottom}{{526}{1}{}{}{}}
\newlabel{PM-df-atom+}{{527}{1}{}{}{}}
\newlabel{PM-atom-part}{{528}{1}{}{}{}}
\newlabel{PM-o-o}{{529}{1}{}{}{}}
\newlabel{PM-nover-rem}{{530}{1}{}{}{}}
\newlabel{PM-noverlap-facts}{{531}{1}{}{}{}}
\newlabel{PM-newsup}{{532}{1}{}{}{}}
\newlabel{PM-ndf-ex}{{533}{1}{}{}{}}
\newlabel{PM-concept-of-G}{{534}{1}{}{}{}}
\newlabel{PM-con-exists}{{535}{1}{}{}{}}
\newlabel{PM-concept-G}{{536}{1}{}{}{}}
\newlabel{PM-conG-lemma}{{537}{1}{}{}{}}
\newlabel{PM-sum3}{{538}{1}{}{}{}}
\newlabel{PM-gen-inc}{{539}{1}{}{}{}}
\newlabel{PM-concepts-not-properties}{{540}{1}{}{}{}}
\newlabel{PM-form=con}{{541}{1}{}{}{}}
\newlabel{PM-con-of-u}{{542}{1}{}{}{}}
\newlabel{PM-con-u-exist}{{543}{1}{}{}{}}
\newlabel{PM-concept-u}{{544}{1}{}{}{}}
\newlabel{PM-con-u-not-strict}{{545}{1}{}{}{}}
\newlabel{PM-c_uF-Fu}{{546}{1}{}{}{}}
\newlabel{PM-complete}{{547}{1}{}{}{}}
\newlabel{PM-con-of-u-com}{{548}{1}{}{}{}}
\newlabel{PM-restrict-concepts}{{549}{1}{}{}{}}
\newlabel{PM-con-gen}{{550}{1}{}{}{}}
\newlabel{PM-c_allGF-allGisF}{{551}{1}{}{}{}}
\newlabel{PM-montague-gq}{{552}{1}{}{}{}}
\newlabel{PM-fa-c_af}{{553}{1}{}{}{}}
\newlabel{PM-contain-truth}{{554}{1}{}{}{}}
\newlabel{PM-con-nec}{{555}{1}{}{}{}}
\newlabel{PM-no-counterpart-theory}{{556}{1}{}{}{}}
\newlabel{PM-cor}{{557}{1}{}{}{}}
\newlabel{PM-cor-rem}{{558}{1}{}{}{}}
\newlabel{PM-real-at-facts}{{559}{1}{}{}{}}
\newlabel{PM-appears-at}{{560}{1}{}{}{}}
\newlabel{PM-appear-fact}{{561}{1}{}{}{}}
\newlabel{PM-app-co}{{562}{1}{}{}{}}
\newlabel{PM-mirror}{{563}{1}{}{}{}}
\newlabel{PM-app-mir}{{564}{1}{}{}{}}
\newlabel{PM-new-appear-fact}{{565}{1}{}{}{}}
\newlabel{PM-box-appears}{{566}{1}{}{}{}}
\newlabel{PM-new-real-at-fact}{{567}{1}{}{}{}}
\newlabel{PM-lem-con-u}{{568}{1}{}{}{}}
\newlabel{PM-ind-con}{{569}{1}{}{}{}}
\newlabel{PM-concept-u-ind-con}{{570}{1}{}{}{}}
\newlabel{PM-concept-u-ind-con-a}{{571}{1}{}{}{}}
\newlabel{PM-ind-con-exist}{{572}{1}{}{}{}}
\newlabel{PM-ind-con-appear}{{573}{1}{}{}{}}
\newlabel{PM-w_c}{{574}{1}{}{}{}}
\newlabel{PM-w_c-applies}{{575}{1}{}{}{}}
\newlabel{PM-cw_c}{{576}{1}{}{}{}}
\newlabel{PM-ind-con-cont-c-F}{{577}{1}{}{}{}}
\newlabel{PM-con-non-G}{{578}{1}{}{}{}}
\newlabel{PM-con-comp}{{579}{1}{}{}{}}
\newlabel{PM-compos}{{580}{1}{}{}{}}
\newlabel{PM-comp-w_c}{{581}{1}{}{}{}}
\newlabel{PM-compos-eq}{{582}{1}{}{}{}}
\newlabel{PM-df-con-u-at-w}{{583}{1}{}{}{}}
\newlabel{PM-con-u-w-exist}{{584}{1}{}{}{}}
\newlabel{PM-con-u-at-w}{{585}{1}{}{}{}}
\newlabel{PM-con-u-strict}{{586}{1}{}{}{}}
\newlabel{PM-lem-con-u-at}{{587}{1}{}{}{}}
\newlabel{PM-ind-con-iff-c-w-u}{{588}{1}{}{}{}}
\newlabel{PM-lem-con-u-alpha}{{589}{1}{}{}{}}
\newlabel{PM-lem-con-u-at-w}{{590}{1}{}{}{}}
\newlabel{PM-con-u-at-comp}{{591}{1}{}{}{}}
\newlabel{PM-rem-con-u-at-w}{{592}{1}{}{}{}}
\newlabel{PM-concepts-not-properties2}{{593}{1}{}{}{}}
\newlabel{PM-counterparts}{{594}{1}{}{}{}}
\newlabel{PM-count-part-con}{{595}{1}{}{}{}}
\newlabel{PM-count-cor}{{596}{1}{}{}{}}
\newlabel{PM-con-u-at-w-count}{{597}{1}{}{}{}}
\newlabel{PM-fund-thm-modal-meta}{{598}{1}{}{}{}}
\newlabel{PM-fund-thm-modal-bi}{{599}{1}{}{}{}}
\newlabel{PM-fund-thm-modal-strict}{{600}{1}{}{}{}}
\newlabel{PM-fund-fund-exer}{{601}{1}{}{}{}}
\newlabel{PM-fund-thm-mod-rem}{{602}{1}{}{}{}}
\newlabel{PM-Dedekind-Peano}{{603}{1}{}{}{}}
\newlabel{PM-1-1-cor}{{604}{1}{}{}{}}
\newlabel{PM-fFG}{{605}{1}{}{}{}}
\newlabel{PM-eq-1-1}{{606}{1}{}{}{}}
\newlabel{PM-frege-theorem}{{607}{1}{}{}{}}
\newlabel{PM-why-EqE}{{608}{1}{}{}{}}
\newlabel{PM-equi}{{609}{1}{}{}{}}
\newlabel{PM-eq-part}{{610}{1}{}{}{}}
\newlabel{PM-equi-rem}{{611}{1}{}{}{}}
\newlabel{PM-eqE}{{612}{1}{}{}{}}
\newlabel{PM-apE-eqE}{{613}{1}{}{}{}}
\newlabel{PM-empty-approx}{{614}{1}{}{}{}}
\newlabel{PM-F-u}{{615}{1}{}{}{}}
\newlabel{PM-eqP'}{{616}{1}{}{}{}}
\newlabel{PM-P'-eq}{{617}{1}{}{}{}}
\newlabel{PM-numbers}{{618}{1}{}{}{}}
\newlabel{PM-num-tran}{{619}{1}{}{}{}}
\newlabel{PM-pre-Hume}{{620}{1}{}{}{}}
\newlabel{PM-num-tran-rem}{{621}{1}{}{}{}}
\newlabel{PM-two-num-not}{{622}{1}{}{}{}}
\newlabel{PM-card}{{623}{1}{}{}{}}
\newlabel{PM-card-en-ms}{{624}{1}{}{}{}}
\newlabel{PM-num-uniq}{{625}{1}{}{}{}}
\newlabel{PM-num-def}{{626}{1}{}{}{}}
\newlabel{PM-approx-cont}{{627}{1}{}{}{}}
\newlabel{PM-numG-not-strict}{{628}{1}{}{}{}}
\newlabel{PM-num-cont}{{629}{1}{}{}{}}
\newlabel{PM-eq-num}{{630}{1}{}{}{}}
\newlabel{PM-rem-nat-card}{{631}{1}{}{}{}}
\newlabel{PM-hume}{{632}{1}{}{}{}}
\newlabel{PM-hume-cor}{{633}{1}{}{}{}}
\newlabel{PM-card-en}{{634}{1}{}{}{}}
\newlabel{PM-unotEu}{{635}{1}{}{}{}}
\newlabel{PM-zero}{{636}{1}{}{}{}}
\newlabel{PM-zero-card}{{637}{1}{}{}{}}
\newlabel{PM-zero=}{{638}{1}{}{}{}}
\newlabel{PM-0F}{{639}{1}{}{}{}}
\newlabel{PM-pred}{{640}{1}{}{}{}}
\newlabel{PM-pred-rem}{{641}{1}{}{}{}}
\newlabel{PM-pred-1-1}{{642}{1}{}{}{}}
\newlabel{PM-pred-func}{{643}{1}{}{}{}}
\newlabel{PM-hered}{{644}{1}{}{}{}}
\newlabel{PM-ances}{{645}{1}{}{}{}}
\newlabel{PM-ances-remark}{{646}{1}{}{}{}}
\newlabel{PM-anc-her}{{647}{1}{}{}{}}
\newlabel{PM-w-ances}{{648}{1}{}{}{}}
\newlabel{PM-wances-her}{{649}{1}{}{}{}}
\newlabel{PM-assume}{{650}{1}{}{}{}}
\newlabel{PM-assume-rem1}{{651}{1}{}{}{}}
\newlabel{PM-no-pred-0}{{652}{1}{}{}{}}
\newlabel{PM-nnumber}{{653}{1}{}{}{}}
\newlabel{PM-0-n}{{654}{1}{}{}{}}
\newlabel{PM-0-pred}{{655}{1}{}{}{}}
\newlabel{PM-no-same-succ}{{656}{1}{}{}{}}
\newlabel{PM-assume-rem2}{{657}{1}{}{}{}}
\newlabel{PM-non-classical}{{658}{1}{}{}{}}
\newlabel{PM-suc-num}{{659}{1}{}{}{}}
\newlabel{PM-nat-card}{{660}{1}{}{}{}}
\newlabel{PM-modal-axiom}{{661}{1}{}{}{}}
\newlabel{PM-modal-lemma}{{662}{1}{}{}{}}
\newlabel{PM-th-succ}{{663}{1}{}{}{}}
\newlabel{PM-modal-just}{{664}{1}{}{}{}}
\newlabel{PM-Frege's-proof}{{665}{1}{}{}{}}
\newlabel{PM-pre-ind}{{666}{1}{}{}{}}
\newlabel{PM-induction}{{667}{1}{}{}{}}
\newlabel{PM-def-suc}{{668}{1}{}{}{}}
\newlabel{PM-numerals}{{669}{1}{}{}{}}
\newlabel{PM-one}{{670}{1}{}{}{}}
\newlabel{PM-suc-add}{{671}{1}{}{}{}}
\newlabel{PM-num-quant}{{672}{1}{}{}{}}
\newlabel{PM-num-quant-remark}{{673}{1}{}{}{}}
\newlabel{PM-n-n}{{674}{1}{}{}{}}
\newlabel{PM-num-quant-gen}{{675}{1}{}{}{}}
\newlabel{PM-df-1-1}{{676}{1}{}{}{}}
\newlabel{PM-1-1-R}{{677}{1}{}{}{}}
\newlabel{PM-no-num-pred}{{678}{1}{}{}{}}
\newlabel{PM-integer}{{679}{1}{}{}{}}
\newlabel{PM-pred-num}{{680}{1}{}{}{}}
\newlabel{PM-i-prec}{{681}{1}{}{}{}}
\newlabel{PM-nat-arith}{{682}{1}{}{}{}}
\newlabel{PM-inf-card}{{683}{1}{}{}{}}
\newlabel{PM-inf-just}{{684}{1}{}{}{}}
\newlabel{PM-inf-card-exist}{{685}{1}{}{}{}}
\newlabel{PM-df-infty}{{686}{1}{}{}{}}
\newlabel{PM-inf-set}{{687}{1}{}{}{}}
\newlabel{PM-inf-set-exist}{{688}{1}{}{}{}}