Ontology of Texts – Proofs

Proofs are provided either for the theorems explicitly states in the paper or for the theorems only mentioned there. In both cases the paper’s numbering is followed: the latter case uses the Arabic and the former case Latin numerals.

[expand title=”Proofs of theorems stated in the paper”]

Theorem_44

Theorem_43

[/expand]

 

[expand title=”Proofs of theorems only mentioned in the paper”]

Theorem_XXXVIIIb

Theorem_XIX

Theorem_XL

Theorem_XLI

Theorem_XLV

Theorem_XLVI

Theorem_XVII

Theorem_XVIII

Theorem_XXI

Theorem_XXII

Theorem_XXIV

Theorem_XXV

Theorem_XXVI

Theorem_XXX

Theorem_XXXI

Theorem_XXXII

Theorem_XXXIII

Theorem_XXXIV

Theorem_XXXIX

Theorem_XXXV

Theorem_XXXVI

Theorem_XXXVII

Theorem_XXXVIIIa

[/expand]

 

[expand title=”Other results”]

Conjecture_XX_CounterModel

TheoryConsistencyModel

[/expand]