LST-AC-iff-ZL-iff-WO_back.svg Edited: Thu 08 Feb 2024

LST-AC-iff-ZL-iff-WO_front.svg Edited: Thu 08 Feb 2024

LST-I-alpha-notation_back.svg Edited: Tue 30 Jan 2024

LST-I-alpha-notation_front.svg Edited: Tue 30 Jan 2024

LST-I-alpha-ot-thm_back.svg Edited: Thu 01 Feb 2024

LST-I-alpha-ot-thm_front.svg Edited: Thu 01 Feb 2024

LST-L-structure-defn_back.svg Edited: Tue 13 Feb 2024

LST-L-structure-defn_front.svg Edited: Tue 13 Feb 2024

LST-Schroder-Bernstein-thm_back.svg Edited: Tue 06 Feb 2024

LST-Schroder-Bernstein-thm_front.svg Edited: Tue 06 Feb 2024

LST-V-alpha-inclusion_back.svg Edited: Tue 05 Mar 2024

LST-V-alpha-inclusion_front.svg Edited: Tue 05 Mar 2024

LST-V-alpha-trans_back.svg Edited: Tue 05 Mar 2024

LST-V-alpha-trans_front.svg Edited: Tue 05 Mar 2024

LST-ZL-model-existence-lemma_back.svg Edited: Thu 08 Feb 2024

LST-ZL-model-existence-lemma_front.svg Edited: Thu 08 Feb 2024

LST-Zorns-lemma_back.svg Edited: Tue 06 Feb 2024

LST-Zorns-lemma_front.svg Edited: Tue 06 Feb 2024

LST-adequacy-first-order-thm_back.svg Edited: Sat 17 Feb 2024

LST-adequacy-first-order-thm_front.svg Edited: Sat 17 Feb 2024

LST-adequacy-thm_back.svg Edited: Thu 25 Jan 2024

LST-adequacy-thm_front.svg Edited: Thu 25 Jan 2024

LST-antichain-defn_back.svg Edited: Tue 06 Feb 2024

LST-antichain-defn_front.svg Edited: Tue 06 Feb 2024

LST-arbitrarily-large-models-infinite-models-coro_back.svg Edited: Tue 20 Feb 2024

LST-arbitrarily-large-models-infinite-models-coro_front.svg Edited: Tue 20 Feb 2024

LST-atomic-formulae-defn_back.svg Edited: Sat 10 Feb 2024

LST-atomic-formulae-defn_front.svg Edited: Sat 10 Feb 2024

LST-ax-of-choice_back.svg Edited: Thu 30 May 2024

LST-ax-of-choice_front.svg Edited: Thu 30 May 2024

LST-ax-of-foundation_back.svg Edited: Tue 27 Feb 2024

LST-ax-of-foundation_front.svg Edited: Tue 27 Feb 2024

LST-ax-of-infty_back.svg Edited: Thu 04 Apr 2024

LST-ax-of-infty_front.svg Edited: Thu 04 Apr 2024

LST-ax-of-replacement_back.svg Edited: Thu 18 Apr 2024

LST-ax-of-replacement_front.svg Edited: Thu 18 Apr 2024

LST-axiom-defn_back.svg Edited: Thu 25 Jan 2024

LST-axiom-defn_front.svg Edited: Thu 25 Jan 2024

LST-burali-forti-paradox-thm_back.svg Edited: Sat 02 Mar 2024

LST-burali-forti-paradox-thm_front.svg Edited: Sat 02 Mar 2024

LST-chain-defn_back.svg Edited: Tue 06 Feb 2024

LST-chain-defn_front.svg Edited: Tue 06 Feb 2024

LST-class-defn_back.svg Edited: Tue 27 Feb 2024

LST-class-defn_front.svg Edited: Tue 27 Feb 2024

LST-complete-poset-defn_back.svg Edited: Tue 06 Feb 2024

LST-complete-poset-defn_front.svg Edited: Tue 06 Feb 2024

LST-completeness-thm_back.svg Edited: Thu 25 Jan 2024

LST-completeness-thm_front.svg Edited: Thu 25 Jan 2024

LST-consistent-set-defn_back.svg Edited: Thu 25 Jan 2024

LST-consistent-set-defn_front.svg Edited: Thu 25 Jan 2024

LST-deduction-thm_back.svg Edited: Thu 25 Jan 2024

LST-deduction-thm_front.svg Edited: Thu 25 Jan 2024

LST-definable-set-defn_back.svg Edited: Thu 22 Feb 2024

LST-definable-set-defn_front.svg Edited: Thu 22 Feb 2024

LST-definition-by-recursion-thm_back.svg Edited: Sat 27 Jan 2024

LST-definition-by-recursion-thm_front.svg Edited: Sat 27 Jan 2024

LST-downward-lowenheim-skolem-thm_back.svg Edited: Thu 22 Feb 2024

LST-downward-lowenheim-skolem-thm_front.svg Edited: Thu 22 Feb 2024

LST-empty-ax_back.svg Edited: Thu 04 Apr 2024

LST-empty-ax_front.svg Edited: Thu 04 Apr 2024

LST-eps-induction-thm_back.svg Edited: Thu 29 Feb 2024

LST-eps-induction-thm_front.svg Edited: Thu 29 Feb 2024

LST-eps-recursion-thm_back.svg Edited: Sun 02 Jun 2024

LST-eps-recursion-thm_front.svg Edited: Sun 02 Jun 2024

LST-every-vspace-has-basis-thm_back.svg Edited: Thu 08 Feb 2024

LST-every-vspace-has-basis-thm_front.svg Edited: Thu 08 Feb 2024

LST-extends-defn_back.svg Edited: Tue 30 Jan 2024

LST-extends-defn_front.svg Edited: Tue 30 Jan 2024

LST-extensional-defn_back.svg Edited: Thu 30 May 2024

LST-extensional-defn_front.svg Edited: Thu 30 May 2024

LST-extensionality-ax_back.svg Edited: Thu 22 Feb 2024

LST-extensionality-ax_front.svg Edited: Thu 22 Feb 2024

LST-finite-groups-not-axiomatisable-coro_back.svg Edited: Tue 20 Feb 2024

LST-finite-groups-not-axiomatisable-coro_front.svg Edited: Tue 20 Feb 2024

LST-first-order-deduction-thm_back.svg Edited: Sat 17 Feb 2024

LST-first-order-deduction-thm_front.svg Edited: Sat 17 Feb 2024

LST-first-order-language-defn_back.svg Edited: Tue 13 Feb 2024

LST-first-order-language-defn_front.svg Edited: Tue 13 Feb 2024

LST-fixed-point-defn_back.svg Edited: Tue 06 Feb 2024

LST-fixed-point-defn_front.svg Edited: Tue 06 Feb 2024

LST-fo-axioms-defn_back.svg Edited: Thu 15 Feb 2024

LST-fo-axioms-defn_front.svg Edited: Thu 15 Feb 2024

LST-formulae-defn_back.svg Edited: Tue 13 Feb 2024

LST-formulae-defn_front.svg Edited: Tue 13 Feb 2024

LST-free-variable-defn_back.svg Edited: Tue 13 Feb 2024

LST-free-variable-defn_front.svg Edited: Tue 13 Feb 2024

LST-free-variable_back.svg Edited: Tue 13 Feb 2024

LST-free-variable_front.svg Edited: Tue 13 Feb 2024

LST-function-class-defn_back.svg Edited: Tue 27 Feb 2024

LST-function-class-defn_front.svg Edited: Tue 27 Feb 2024

LST-godel-completeness-first-order-thm_back.svg Edited: Sat 17 Feb 2024

LST-godel-completeness-first-order-thm_front.svg Edited: Sat 17 Feb 2024

LST-hartogs-lemma-thm_back.svg Edited: Thu 01 Feb 2024

LST-hartogs-lemma-thm_front.svg Edited: Thu 01 Feb 2024

LST-hartogs-notation_back.svg Edited: Tue 06 Feb 2024

LST-hartogs-notation_front.svg Edited: Tue 06 Feb 2024

LST-inductive-mult-defn_back.svg Edited: Sat 03 Feb 2024

LST-inductive-mult-defn_front.svg Edited: Sat 03 Feb 2024

LST-initial-segment-defn_back.svg Edited: Thu 25 Jan 2024

LST-initial-segment-defn_front.svg Edited: Thu 25 Jan 2024

LST-initial-segment-notation_back.svg Edited: Thu 25 Jan 2024

LST-initial-segment-notation_front.svg Edited: Thu 25 Jan 2024

LST-interpretation-defn_back.svg Edited: Tue 13 Feb 2024

LST-interpretation-defn_front.svg Edited: Tue 13 Feb 2024

LST-interpretation-of-formula-defn_back.svg Edited: Tue 13 Feb 2024

LST-interpretation-of-formula-defn_front.svg Edited: Tue 13 Feb 2024

LST-kt-fp-thm_back.svg Edited: Tue 06 Feb 2024

LST-kt-fp-thm_front.svg Edited: Tue 06 Feb 2024

LST-language-defn_back.svg Edited: Thu 25 Jan 2024

LST-language-defn_front.svg Edited: Thu 25 Jan 2024

LST-linear-order-defn_back.svg Edited: Thu 25 Jan 2024

LST-linear-order-defn_front.svg Edited: Thu 25 Jan 2024

LST-local-defn_back.svg Edited: Thu 29 Feb 2024

LST-local-defn_front.svg Edited: Thu 29 Feb 2024

LST-lub-defn_back.svg Edited: Tue 06 Feb 2024

LST-lub-defn_front.svg Edited: Tue 06 Feb 2024

LST-maximal-element-defn_back.svg Edited: Tue 06 Feb 2024

LST-maximal-element-defn_front.svg Edited: Tue 06 Feb 2024

LST-model-defn_back.svg Edited: Thu 25 Jan 2024

LST-model-defn_front.svg Edited: Thu 25 Jan 2024

LST-model-existence-first-order-thm_back.svg Edited: Sat 17 Feb 2024

LST-model-existence-first-order-thm_front.svg Edited: Sat 17 Feb 2024

LST-model-existence-lemma_back.svg Edited: Thu 25 Jan 2024

LST-model-existence-lemma_front.svg Edited: Thu 25 Jan 2024

LST-model-for-theory-defn_back.svg Edited: Tue 13 Feb 2024

LST-model-for-theory-defn_front.svg Edited: Tue 13 Feb 2024

LST-motowski-thm_back.svg Edited: Sat 02 Mar 2024

LST-motowski-thm_front.svg Edited: Sat 02 Mar 2024

LST-nested-defn_back.svg Edited: Tue 30 Jan 2024

LST-nested-defn_front.svg Edited: Tue 30 Jan 2024

LST-omega-notation_back.svg Edited: Tue 30 Jan 2024

LST-omega-notation_front.svg Edited: Tue 30 Jan 2024

LST-ordadd-assoc-prop_back.svg Edited: Thu 01 Feb 2024

LST-ordadd-assoc-prop_front.svg Edited: Thu 01 Feb 2024

LST-ordadd-ineq-prop_back.svg Edited: Sat 10 Feb 2024

LST-ordadd-ineq-prop_front.svg Edited: Sat 10 Feb 2024

LST-ordadd-sup-lemma_back.svg Edited: Sat 10 Feb 2024

LST-ordadd-sup-lemma_front.svg Edited: Sat 10 Feb 2024

LST-order-iso-defn_back.svg Edited: Thu 25 Jan 2024

LST-order-iso-defn_front.svg Edited: Thu 25 Jan 2024

LST-order-preserving-function_back.svg Edited: Tue 06 Feb 2024

LST-order-preserving-function_front.svg Edited: Tue 06 Feb 2024

LST-order-type-defn_back.svg Edited: Tue 30 Jan 2024

LST-order-type-defn_front.svg Edited: Tue 30 Jan 2024

LST-ordinal-addition-defn_back.svg Edited: Sun 02 Jun 2024

LST-ordinal-addition-defn_front.svg Edited: Sun 02 Jun 2024

LST-ordinal-defn-for-real-this-time_back.svg Edited: Sat 02 Mar 2024

LST-ordinal-defn-for-real-this-time_front.svg Edited: Sat 02 Mar 2024

LST-ordinal-defn_back.svg Edited: Tue 30 Jan 2024

LST-ordinal-defn_front.svg Edited: Tue 30 Jan 2024

LST-ordinals-wellord-defn_back.svg Edited: Tue 30 Jan 2024

LST-ordinals-wellord-defn_front.svg Edited: Tue 30 Jan 2024

LST-ordisom-is-unique-prop_back.svg Edited: Sat 27 Jan 2024

LST-ordisom-is-unique-prop_front.svg Edited: Sat 27 Jan 2024

LST-pair-set-ax_back.svg Edited: Thu 04 Apr 2024

LST-pair-set-ax_front.svg Edited: Thu 04 Apr 2024

LST-partial-order-defn_back.svg Edited: Sat 03 Feb 2024

LST-partial-order-defn_front.svg Edited: Sat 03 Feb 2024

LST-poset-defn_back.svg Edited: Sat 03 Feb 2024

LST-poset-defn_front.svg Edited: Sat 03 Feb 2024

LST-power-set-ax_back.svg Edited: Thu 04 Apr 2024

LST-power-set-ax_front.svg Edited: Thu 04 Apr 2024

LST-proof-by-induction-prop_back.svg Edited: Sat 27 Jan 2024

LST-proof-by-induction-prop_front.svg Edited: Sat 27 Jan 2024

LST-proof-first-order-defn_back.svg Edited: Sat 17 Feb 2024

LST-proof-first-order-defn_front.svg Edited: Sat 17 Feb 2024

LST-prop-proof-defn_back.svg Edited: Thu 25 Jan 2024

LST-prop-proof-defn_front.svg Edited: Thu 25 Jan 2024

LST-proper-class-defn_back.svg Edited: Tue 27 Feb 2024

LST-proper-class-defn_front.svg Edited: Tue 27 Feb 2024

LST-rank-computation-coro-vnh_back.svg Edited: Tue 05 Mar 2024

LST-rank-computation-coro-vnh_front.svg Edited: Tue 05 Mar 2024

LST-rules-of-deduc-first-order_back.svg Edited: Sun 02 Jun 2024

LST-rules-of-deduc-first-order_front.svg Edited: Sun 02 Jun 2024

LST-satisfied-formula-defn_back.svg Edited: Tue 13 Feb 2024

LST-satisfied-formula-defn_front.svg Edited: Tue 13 Feb 2024

LST-semantic-entailment-defn_back.svg Edited: Thu 25 Jan 2024

LST-semantic-entailment-defn_front.svg Edited: Thu 25 Jan 2024

LST-sementail-formula-defn_back.svg Edited: Thu 15 Feb 2024

LST-sementail-formula-defn_front.svg Edited: Thu 15 Feb 2024

LST-sementail-sentence-defn_back.svg Edited: Tue 20 Feb 2024

LST-sementail-sentence-defn_front.svg Edited: Tue 20 Feb 2024

LST-sentence-defn_back.svg Edited: Tue 13 Feb 2024

LST-sentence-defn_front.svg Edited: Tue 13 Feb 2024

LST-separation-ax_back.svg Edited: Thu 22 Feb 2024

LST-separation-ax_front.svg Edited: Thu 22 Feb 2024

LST-set-theory-ordinal-props_back.svg Edited: Sat 02 Mar 2024

LST-set-theory-ordinal-props_front.svg Edited: Sat 02 Mar 2024

LST-soundness-first-order-thm_back.svg Edited: Thu 22 Feb 2024

LST-soundness-first-order-thm_front.svg Edited: Thu 22 Feb 2024

LST-soundness-thm_back.svg Edited: Thu 25 Jan 2024

LST-soundness-thm_front.svg Edited: Thu 25 Jan 2024

LST-subset-collapse-prop_back.svg Edited: Sat 02 Mar 2024

LST-subset-collapse-prop_front.svg Edited: Sat 02 Mar 2024

LST-substitution-defn_back.svg Edited: Thu 15 Feb 2024

LST-substitution-defn_front.svg Edited: Thu 15 Feb 2024

LST-successor-limit-defn_back.svg Edited: Sun 02 Jun 2024

LST-successor-limit-defn_front.svg Edited: Sun 02 Jun 2024

LST-successor-ordinal-defn_back.svg Edited: Tue 30 Jan 2024

LST-successor-ordinal-defn_front.svg Edited: Tue 30 Jan 2024

LST-sum-product-defn_back.svg Edited: Sat 09 Mar 2024

LST-sum-product-defn_front.svg Edited: Sat 09 Mar 2024

LST-synth-mult-defn_back.svg Edited: Sat 03 Feb 2024

LST-synth-mult-defn_front.svg Edited: Sat 03 Feb 2024

LST-synthetic-inductive-ordadd-equiv-prop_back.svg Edited: Sat 03 Feb 2024

LST-synthetic-inductive-ordadd-equiv-prop_front.svg Edited: Sat 03 Feb 2024

LST-synthetic-ordadd-defn_back.svg Edited: Sat 03 Feb 2024

LST-synthetic-ordadd-defn_front.svg Edited: Sat 03 Feb 2024

LST-tautology-defn_back.svg Edited: Thu 25 Jan 2024

LST-tautology-defn_front.svg Edited: Thu 25 Jan 2024

LST-theory-defn_back.svg Edited: Tue 13 Feb 2024

LST-theory-defn_front.svg Edited: Tue 13 Feb 2024

LST-transitive-closure-lemma_back.svg Edited: Sun 02 Jun 2024

LST-transitive-closure-lemma_front.svg Edited: Sun 02 Jun 2024

LST-transitive-set-defn_back.svg Edited: Tue 27 Feb 2024

LST-transitive-set-defn_front.svg Edited: Tue 27 Feb 2024

LST-uncountable-ordinal-existence-thm_back.svg Edited: Thu 01 Feb 2024

LST-uncountable-ordinal-existence-thm_front.svg Edited: Thu 01 Feb 2024

LST-union-set-ax_back.svg Edited: Thu 04 Apr 2024

LST-union-set-ax_front.svg Edited: Thu 04 Apr 2024

LST-upper-bound-defn_back.svg Edited: Tue 06 Feb 2024

LST-upper-bound-defn_front.svg Edited: Tue 06 Feb 2024

LST-upward-lowenheim-skolem-thm_back.svg Edited: Thu 22 Feb 2024

LST-upward-lowenheim-skolem-thm_front.svg Edited: Thu 22 Feb 2024

LST-valuation-defn_back.svg Edited: Thu 25 Jan 2024

LST-valuation-defn_front.svg Edited: Thu 25 Jan 2024

LST-vnh-exhausts-universe_back.svg Edited: Tue 05 Mar 2024

LST-vnh-exhausts-universe_front.svg Edited: Tue 05 Mar 2024

LST-von-neumann-hierarchy_back.svg Edited: Tue 05 Mar 2024

LST-von-neumann-hierarchy_front.svg Edited: Tue 05 Mar 2024

LST-vtion-uniqueness-prop_back.svg Edited: Thu 25 Jan 2024

LST-vtion-uniqueness-prop_front.svg Edited: Thu 25 Jan 2024

LST-well-founded-defn_back.svg Edited: Thu 29 Feb 2024

LST-well-founded-defn_front.svg Edited: Thu 29 Feb 2024

LST-well-order-defn_back.svg Edited: Thu 25 Jan 2024

LST-well-order-defn_front.svg Edited: Thu 25 Jan 2024

LST-well-ordered-sets-form-a-well-order-thm_back.svg Edited: Tue 30 Jan 2024

LST-well-ordered-sets-form-a-well-order-thm_front.svg Edited: Tue 30 Jan 2024

LST-well-ordering-principle_back.svg Edited: Thu 08 Feb 2024

LST-well-ordering-principle_front.svg Edited: Thu 08 Feb 2024

LST-wellord-union-prop_back.svg Edited: Tue 30 Jan 2024

LST-wellord-union-prop_front.svg Edited: Tue 30 Jan 2024

LST-wole-wole-implies-ordisic-prop_back.svg Edited: Thu 30 May 2024

LST-wole-wole-implies-ordisic-prop_front.svg Edited: Thu 30 May 2024