# sci.logic

**Re: The problem of action**,*Jan Burse***Toposes and Proper Classes**,*Mattias Wikstrom***FOL vs 2OL**,*Bill Taylor***Proven godel used invalid axiom AR thus his ttheorm invalid**,*elsiemelsi***Satisfiablility and CNF**,*herbzet***Hilbert is back..**,*m31***LaTeX and FOL**,*Zaljohar***Re: LaTeX and FOL**,*G . Frege***Re: LaTeX and FOL**,*Zaljohar***Re: LaTeX and FOL**,*G . Frege***Re: LaTeX and FOL**,*Zaljohar*

**Re: LaTeX and FOL**,*Chris Menzel*

**LTL vs. CTL**,*sasha mal***Re: LTL vs. CTL**,*Achim Blumensath***Re: LTL vs. CTL**,*sasha mal***Re: LTL vs. CTL**,*Achim Blumensath***Re: LTL vs. CTL**,*sasha mal*

- <Possible follow-ups>
**Re: LTL vs. CTL**,*hbdere***Re: LTL vs. CTL**,*sasha mal*

**What's the weakest metatheory in which Goedel's theorem can be proved?**,*Rupert***Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Rupert***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta*

**Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*LauLuna***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta*

**Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*MoeBlee***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Jan Burse***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Jan Burse***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Aatu Koskensilta***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Jan Burse***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Jan Burse***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*Jan Burse***Re: Gödel's system P, Principia Mathematica, and the reducibility axiom**,*MoeBlee*

**Re: Gödel's system P, Principia Mathematica, and**,*elsiemelsi***Re: Gödel's system P, Principia Mathematica, and**,*Rupert***Re: Gödel's system P, Principia Mathematica,**,*elsiemelsi***Re: Gödel's system P, Principia Mathematica,**,*elsiemelsi***Re: Gödel's system P, Principia Mathematica,**,*Rupert***Re: Gödel's system P, Principia Mathematica,**,*elsiemelsi***Re: Gödel's system P, Principia Mathematica,**,*Aatu Koskensilta***Re: Gödel's system P, Principia Mathematica,**,*Rupert*

**Re: Gödel's system P, Principia Mathematica, and**,*Aatu Koskensilta*

**Re: Gödel's system P, Principia Mathematica, and**,*elsiemelsi*

**Jan Burse gives support that godels use of impredicative statments invalidates his theorem**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative statments invalidates his theorem**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*Aatu Koskensilta*

**Re: Jan Burse gives support that godels use of impredicative statments invalidates his theorem**,*Jan Burse*

**Re: Jan Burse gives support that godels use of impredicative statm**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*janburse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse***Re: Jan Burse gives support that godels use of impredicative s**,*elsiemelsi***Re: Jan Burse gives support that godels use of impredicative s**,*Jan Burse*

**Heap-Set Theory H-S**,*Zaljohar***Re: Heap-Set Theory H-S**,*Zaljohar***Re: Heap-Set Theory H-S**,*G . Frege***Re: Heap-Set Theory H-S**,*G . Frege***Re: Heap-Set Theory H-S**,*Zaljohar***Re: Heap-Set Theory H-S**,*G . Frege***Re: Heap-Set Theory H-S**,*Zaljohar***Re: Heap-Set Theory H-S**,*G . Frege***Re: Heap-Set Theory H-S**,*Zaljohar***Re: Heap-Set Theory H-S**,*G . Frege*

**Re: Heap-Set Theory H-S**,*lwalke3*

**Inequality Question**,*Sundus***Re: Inequality Question**,*G . Frege*

**The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*MoeBlee***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*G . Frege***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*herbzet***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Gc***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Gc***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Herman Jurjus***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Herman Jurjus***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Herman Jurjus***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Herman Jurjus***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Aatu Koskensilta***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Herman Jurjus***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*MoeBlee***Re: The Skolem paradox destroys the incompleteness of ZFC**,*G . Frege***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*G . Frege***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*G . Frege***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi***Re: The Skolem paradox destroys the incompleteness of ZFC**,*Jan Burse***Re: The Skolem paradox destroys the incompleteness of ZFC**,*elsiemelsi*

**Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*MoeBlee***Re: Some answers to Aatu Koskensilta**,*lwalke3***Re: Some answers to Aatu Koskensilta**,*Aatu Koskensilta***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*Aatu Koskensilta***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*MoeBlee***Re: Some answers to Aatu Koskensilta**,*MoeBlee***Re: Some answers to Aatu Koskensilta**,*Aatu Koskensilta*

**Re: Some answers to Aatu Koskensilta**,*LauLuna***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*WM***Re: Some answers to Aatu Koskensilta**,*MoeBlee***Re: Some answers to Aatu Koskensilta**,*Aatu Koskensilta***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*Aatu Koskensilta***Re: Some answers to Aatu Koskensilta**,*Gc***Re: Some answers to Aatu Koskensilta**,*Gc*

**Order and Disorder in Sign Strings**,*John Jones***Re: Order and Disorder in Sign Strings**,*Jan Burse*

**Godels incompleteness theorem was not just about a version of PM and is thus invalid**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version of PM and is thus invalid**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version of PM and is thus invalid**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*herbzet***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*David C . Ullrich***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*David C . Ullrich***Re: Godels incompleteness theorem was not just about a version o**,*Daryl McCullough***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*David C . Ullrich***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*Pierre Asselin***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Jan Burse***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Pierre Asselin***Re: Godels incompleteness theorem was not just about a version o**,*Nam D. Nguyen***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*Nam D. Nguyen***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*R. Srinivasan***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*R. Srinivasan***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*R. Srinivasan***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*R. Srinivasan***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*Nam D. Nguyen***Re: Godels incompleteness theorem was not just about a version o**,*Pierre Asselin***Re: Godels incompleteness theorem was not just about a version o**,*Nam D. Nguyen***Re: Godels incompleteness theorem was not just about a version o**,*David C . Ullrich***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*David C . Ullrich***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*Aatu Koskensilta***Re: Godels incompleteness theorem was not just about a version o**,*Chris Menzel*

**Re: Godels incompleteness theorem was not just about a version of PM and is thus invalid**,*Colin***Re: Godels incompleteness theorem was not just about a version of PM and is thus invalid**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee***Re: Godels incompleteness theorem was not just about a version o**,*elsiemelsi***Re: Godels incompleteness theorem was not just about a version o**,*MoeBlee*

**Godel uses the axiom of reducibilty in his incompleteness theorem which makes it invalid**,*elsiemelsi***adjective noun predicate**,*Keenlearner***Re: adjective noun predicate**,*William Elliot***Re: adjective noun predicate**,*G . Frege*

**Re: adjective noun predicate**,*G . Frege***Re: adjective noun predicate**,*Keenlearner***Re: adjective noun predicate**,*Frederick Williams*

**Re: adjective noun predicate**,*Keenlearner***Re: adjective noun predicate**,*G . Frege***Re: adjective noun predicate**,*G . Frege*

*Message not available***Re: adjective noun predicate**,*G . Frege***Re: adjective noun predicate**,*Keenlearner*

**Understanding statements without sense**,*John Jones***Re: Understanding statements without sense**,*William Elliot***Re: Understanding statements without sense**,*translogi***Re: Understanding statements without sense**,*William Elliot*

**questions**,*gane1064***Re: questions**,*Frederick Williams*- <Possible follow-ups>
**questions**,*gane1064***Re: questions**,*Frederick Williams*

**questions**,*gane1064***Re: questions**,*David C . Ullrich*

**questions**,*gane1064*

**Download free Projects**,*TechGuru***Language**,*John Jones***The proof of the inconsistency of UST**,*Zaljohar**Message not available**Message not available*

*Message not available**Message not available***Re: The proof of the inconsistency of UST**,*lwalke3***Re: The proof of the inconsistency of UST**,*Zaljohar***Re: The proof of the inconsistency of UST**,*lwalke3***Re: The proof of the inconsistency of UST**,*Zaljohar***Re: The proof of the inconsistency of UST**,*Zaljohar***Re: The proof of the inconsistency of UST**,*lwalke3***Re: The proof of the inconsistency of UST**,*Zaljohar***Re: The proof of the inconsistency of UST**,*lwalke3***Re: The proof of the inconsistency of UST**,*Zaljohar*

**tautology, logical implication & equivalent**,*Jimmy***Conventional terms for the following: "contributing causes," "collective motivators," fallacy of (A => B) => (~A => ~B)?**,*Scott H***البرنامج الاسطوري الذي ادهش الملايين !! فقط ضع صورتك ويعطيك شكلك بعد 40 سنه**,*فواز***jobs**,*dker1bear***Re: jobs**,*dale*

**Loop**,*Zaljohar***Godel AND Rosser in one easy step**,*Charlie-Boo***Re: Godel AND Rosser in one easy step**,*Charlie-Boo*

**Request for Review/Tutorage for Amateur Proofs**,*Scott***Does logic show us all the possibilities of object presentation?**,*John Jones***Question regarding limit ordinals and transfinite cardinals.**,*Scott***Re: Question regarding limit ordinals and transfinite cardinals.**,*Aatu Koskensilta***Re: Question regarding limit ordinals and transfinite cardinals.**,*smn***Re: Question regarding limit ordinals and transfinite cardinals.**,*David C . Ullrich***Re: Question regarding limit ordinals and transfinite cardinals.**,*george***Re: Question regarding limit ordinals and transfinite cardinals.**,*David C . Ullrich***Re: Question regarding limit ordinals and transfinite cardinals.**,*Peter Webb***Re: Question regarding limit ordinals and transfinite cardinals.**,*MoeBlee***Re: Question regarding limit ordinals and transfinite cardinals.**,*Peter Webb***Re: Question regarding limit ordinals and transfinite cardinals.**,*MoeBlee***Re: Question regarding limit ordinals and transfinite cardinals.**,*Peter Webb***Re: Question regarding limit ordinals and transfinite cardinals.**,*David C . Ullrich***Re: Question regarding limit ordinals and transfinite cardinals.**,*Aatu Koskensilta***Re: Question regarding limit ordinals and transfinite cardinals.**,*Chris Menzel***Re: Question regarding limit ordinals and transfinite cardinals.**,*Aatu Koskensilta***Re: Question regarding limit ordinals and transfinite cardinals.**,*Chris Menzel*

**Re: Question regarding limit ordinals and transfinite cardinals.**,*george*

**Research on Gmail**,*Sampath Ranganathan***Re: Research on Gmail**,*William Elliot*

**Generalized inductive definition of theorems by Shoenfield**,*thoughtlessly101***Re: Generalized inductive definition of theorems by Shoenfield**,*Fuckwit***Re: Generalized inductive definition of theorems by Shoenfield**,*Fuckwit***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*Herman Jurjus***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*thoughtlessly101***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*thoughtlessly101***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Alan Smaill***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*Alan Smaill***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*herbzet***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*herbzet***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*herbzet***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*herbzet*

**Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*Gc***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich*

**Re: Generalized inductive definition of theorems by Shoenfield**,*george***Re: Generalized inductive definition of theorems by Shoenfield**,*Aatu Koskensilta***Re: Generalized inductive definition of theorems by Shoenfield**,*David C . Ullrich*

**Re: Generalized inductive definition of theorems by Shoenfield**,*Gc*

**unsatisfiable 3SAT puzzle**,*translogi***Re: unsatisfiable 3SAT puzzle**,*translogi*

**The logic of the priviliged binary**,*John Jones***Type theory and UST**,*Zaljohar***Re: Type theory and UST**,*Zaljohar*

**Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*aatu . koskensilta***Re: Second-order and Higher-order Logic**,*Chris Menzel***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Jan Burse***since AK was reviewing Enderton's article,**,*george***Re: since AK was reviewing Enderton's article,**,*Aatu Koskensilta***Re: since AK was reviewing Enderton's article,**,*george***Re: since AK was reviewing Enderton's article,**,*Daryl McCullough***Re: since AK was reviewing Enderton's article,**,*george***Re: since AK was reviewing Enderton's article,**,*Jan Burse***Re: since AK was reviewing Enderton's article,**,*george***Re: since AK was reviewing Enderton's article,**,*Jan Burse***Re: since AK was reviewing Enderton's article,**,*george***Re: since AK was reviewing Enderton's article,**,*Jan Burse***"structure" or "interpretation" as opposed to "model"**,*george***why is conventional wisdom acceptable?**,*george***Re: Second-order and Higher-order Logic**,*Herman Jurjus***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Herman Jurjus***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Aatu Koskensilta***Re: Second-order and Higher-order Logic**,*Herman Jurjus***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Herman Jurjus***Re: Second-order and Higher-order Logic**,*george***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Jan Burse***Second-order and Higher-order Logic**,*William Elliot***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*William Elliot***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*William Elliot***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*William Elliot***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*Jan Burse***Re: Second-order and Higher-order Logic**,*William Elliot***Re: Second-order and Higher-order Logic**,*William Elliot*

**Re :The empty set**,*apoorv***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*R. Srinivasan***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Gc***Re: Re :The empty set**,*Marshall***Re: Re :The empty set**,*Gc***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Gc***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Gc***Re: Re :The empty set**,*R. Srinivasan***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*R. Srinivasan***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*R. Srinivasan***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Nam D. Nguyen***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*Aatu Koskensilta*

**Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*george***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*george***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*Ross A. Finlayson***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*Aatu Koskensilta***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*MoeBlee*

**Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*apoorv***Re: Re :The empty set**,*MoeBlee*

**Re: Re :The empty set**,*G . Frege***Re: Re :The empty set**,*MoeBlee***Re: Re :The empty set**,*G . Frege*

**Final call for papers**,*john***Zal's Last Theory**,*William Elliot***Re: Zal's Last Theory**,*R. Srinivasan***Re: Zal's Last Theory**,*lwalke3***Re: Zal's Last Theory**,*MoeBlee***Re: Zal's Last Theory**,*William Elliot*

**Type Theory 2: TT2**,*Zaljohar***Re: Type Theory 2: TT2**,*Zaljohar***Re: Type Theory 2: TT2**,*lwalke3***Re: Type Theory 2: TT2**,*Zaljohar*

**Re: Type Theory 2: TT2**,*Zaljohar***Re: Type Theory 2: TT2 Corrected.**,*Zaljohar***Re: Type Theory 2: TT2 Corrected.**,*Zaljohar*

**ZF like theory with a universal set of all sets.**,*Zaljohar***Set Size theory.**,*Zaljohar***Frege function and variable**,*John Jones***Re: Frege function and variable**,*tohentoon***Re: Frege function and variable**,*John Jones*

**Re: ... The Gift of Power, Discovery of DIVINE Creation!**,*MTwain***PA-models and Gödel's Incompleteness**,*LauLuna***Re: PA-models and Gödel's Incompleteness**,*Peter_Smith***Re: PA-models and Gödel's Incompleteness**,*Jan Burse***Re: PA-models and Gödel's Incompleteness**,*LauLuna***Re: PA-models and Gödel's Incompleteness**,*Jan Burse***Re: PA-models and Gödel's Incompleteness**,*george*

**model in the usual sense**,*george***Re: model in the usual sense**,*Alan Smaill***Re: model in the usual sense**,*Frederick Williams***Re: model in the usual sense**,*Frederick Williams*

**Re: PA-models and Gödel's Incompleteness**,*tohentoon*

**Three types of object**,*John Jones***Re: Three types of object**,*William Elliot*

**testing for equi- satisfaliability**,*translogi***Re: testing for equi- satisfaliability**,*Peter_Smith***Re: testing for equi- satisfaliability**,*translogi***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*translogi***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*translogi***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*translogi***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*translogi*

**Re: testing for equi- satisfaliability**,*Frederick Williams***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*LauLuna***Re: testing for equi- satisfaliability**,*herbzet***Re: testing for equi- satisfaliability**,*LauLuna***Re: testing for equi- satisfaliability**,*herbzet*

**Re: testing for equi- satisfaliability**,*LauLuna***Re: testing for equi- satisfaliability**,*Jan Burse*

**Crisis in mathematics**,*elsiemelsi***Re: Crisis in mathematics**,*OP***Re: Crisis in mathematics**,*David C . Ullrich***Re: Crisis in mathematics**,*Peter_Smith***Re: Crisis in mathematics**,*Daryl McCullough***Re: Crisis in mathematics**,*george***Re: Crisis in mathematics**,*David C . Ullrich*

**What is the size of X ?**,*Zaljohar***Testing wffs for equivalency**,*un student***Re: Testing wffs for equivalency**,*Peter_Smith*

**CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)**,*bit.precise.reasoning@xxxxxxxxx***conservative extensions in higher-order logic**,*Jan-Georg Smaus***Re: conservative extensions in higher-order logic**,*LauLuna***Re: conservative extensions in higher-order logic**,*Jan-Georg Smaus***Re: conservative extensions in higher-order logic**,*LauLuna***Re: conservative extensions in higher-order logic**,*Jan-Georg Smaus***Re: conservative extensions in higher-order logic**,*LauLuna***Re: conservative extensions in higher-order logic**,*Jan-Georg Smaus*

**Question about Life.**,*socratus***Re: Question about Life.**,*bavisionary*

**tv**,*himana***Re: What Is a Variable?**,*Frederick Williams***Re: What Is a Variable?**,*ChrisX***Re: What Is a Variable?**,*Frederick Williams***Re: What Is a Variable?**,*ChrisX*

- <Possible follow-ups>
**Re: What Is a Variable?**,*Douglas Eagleson***Re: What Is a Variable?**,*Jan-Georg Smaus*

**Current Standard Theor of Logic is**,*M_SHIRAISHI***Re: Currant Standard Thoerure of Logique is, wallop**,*John Jones***Re: Currant Standard Thoerure of Logique is, wallop**,*M_SHIRAISHI*

**Current Theory of Logic is ．．．**,*M_SHIRAISHI***Curent Theory of Logic is utterly mistaken !**,*M_SHIRAISHI***Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse*

**Re: Technique and Foundation**,*herbzet***Re: Technique and Foundation**,*J P***Re: Technique and Foundation**,*John Jones*

**Re: Technique and Foundation**,*herbzet***Re: Technique and Foundation**,*J P***Re: Technique and Foundation**,*herbzet***Re: Technique and Foundation**,*J P*

**Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*herbzet***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Charlie33*

**Re: Technique and Foundation**,*Charlie33***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Jan Burse***Re: Technique and Foundation**,*Charlie33***Re: Technique and Foundation**,*John Jones***Re: Technique and Foundation**,*Charlie33***Re: Technique and Foundation**,*Charlie33***Re: Technique and Foundation**,*Charlie33*

**Re: Technique and Foundation**,*herbzet*

**What's the name of this fallacy?**,*olingaa@xxxxxxxxx***Re: What's the name of this fallacy?**,*G . Frege***Re: What's the name of this fallacy?**,*William Elliot***Re: What's the name of this fallacy?**,*herbzet*

**Re: What's the name of this fallacy?**,*david petry***Re: What's the name of this fallacy?**,*William Elliot***Re: What's the name of this fallacy?**,*herbzet*

**Ackermann's class theory and The Wikipedia**,*Zaljohar***Re: Ackermann's class theory and The Wikipedia**,*Pierre Asselin***Re: Ackermann's class theory and The Wikipedia**,*G . Frege***Re: Ackermann's class theory and The Wikipedia**,*Zaljohar***Re: Ackermann's class theory and The Wikipedia**,*G . Frege***Re: Ackermann's class theory and The Wikipedia**,*G . Frege***Re: Ackermann's class theory and The Wikipedia**,*G . Frege***Re: Ackermann's class theory and The Wikipedia**,*G . Frege*

**My last theory.**,*Zaljohar***Re: My last theory.**,*Zaljohar***Re: My last theory.**,*Zaljohar*

**Re: My last theory.**,*Zaljohar***Re: My last theory. Corrected.**,*Zaljohar***Re: My last theory. Corrected.**,*Zaljohar*

**Re: My last theory.**,*lwalke3***Re: My last theory.**,*lwalke3***Re: My last theory.**,*Zaljohar***Re: My last theory.**,*lwalke3***Re: My last theory.**,*G . Frege***Re: My last theory.**,*Zaljohar***Re: My last theory.**,*Zaljohar*

**Re: Countable models of ZFC**,*Alan Smaill***Re: A simple paradox in Godels incompleteness theorem that invalidat**,*Alan Smaill***Proof and entailment**,*myname***Re: Proof and entailment**,*MoeBlee***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*myname***Re: Proof and entailment**,*Frederick Williams***Re: Proof and entailment**,*Frederick Williams*

**Re: Proof and entailment**,*G . Frege***Re: Proof and entailment**,*Michal Przybylek*

**Re: Proof and entailment**,*LauLuna***Re: Proof and entailment**,*G . Frege***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*Frederick Williams***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*G . Frege***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*Aatu Koskensilta***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*Peter_Smith***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*george***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*Peter_Smith***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*george***Re: Proof and entailment**,*MoeBlee***Re: Proof and entailment**,*G . Frege***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*MoeBlee***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*MoeBlee***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*LauLuna***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*LauLuna***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*Aatu Koskensilta***Re: Proof and entailment**,*herbzet***Re: Proof and entailment**,*G . Frege*

**Re: Function and Variable: fatal problem?**,*Frederick Williams***Re: Function and Variable: fatal problem?**,*herbzet***Re: Function and Variable: fatal problem?**,*Frederick Williams***Re: Function and Variable: fatal problem?**,*G . Frege***Re: Function and Variable: fatal problem?**,*G . Frege***Re: Function and Variable: fatal problem?**,*herbzet*

**Puzzled about ZFC and transfinite induction**,*LordBeotian***Re: Puzzled about ZFC and transfinite induction**,*LordBeotian***Re: Puzzled about ZFC and transfinite induction**,*Alan Smaill***Re: Puzzled about ZFC and transfinite induction**,*Aatu Koskensilta*

**Re: Dual Set Theory.**,*lwalke3***Re: Dual Set Theory.**,*Zaljohar***Re: Dual Set Theory.**,*lwalke3***Re: Dual Set Theory.**,*MoeBlee***Re: Dual Set Theory.**,*Zaljohar***Re: Dual Set Theory.**,*Zaljohar***Re: Dual Set Theory.**,*Zaljohar***Re: Dual Set Theory.**,*Zaljohar***Re: Dual Set Theory.**,*Zaljohar*

**Re: adverb in FIRST ORDER LOGIC**,*G . Frege*- <Possible follow-ups>
**Re: adverb in FIRST ORDER LOGIC**,*G . Frege***Re: adverb in FIRST ORDER LOGIC**,*G . Frege***Re: adverb in FIRST ORDER LOGIC**,*G . Frege***Re: adverb in FIRST ORDER LOGIC**,*ChrisX*

**ILLC Research Reports and Technical Notes 2007**,*Marco Vervoort***Re: Is Reductio Required for PA?**,*MoeBlee***Re: Is Reductio Required for PA?**,*george***Re: Is Reductio Required for PA?**,*MoeBlee*

- <Possible follow-ups>
**Re: Is Reductio Required for PA?**,*george***Re: Is Reductio Required for PA?**,*george*

**Impredicativity**,*kleptomaniac666_***Re: Impredicativity**,*Pierre Asselin***Re: Impredicativity**,*kleptomaniac666_*

**Definitions of sets of integers**,*kleptomaniac666_***Re: Definitions of sets of integers**,*LauLuna*

**Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee*- <Possible follow-ups>
**Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*Alan Smaill***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*Alan Smaill***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*Daryl McCullough***Re: Question regarding Dedekind-infinite sets and consistency.**,*Scott***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*george***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee***Re: Question regarding Dedekind-infinite sets and consistency.**,*george***Re: Question regarding Dedekind-infinite sets and consistency.**,*george***Re: Question regarding Dedekind-infinite sets and consistency.**,*MoeBlee*

**Re: k set theory**,*MoeBlee***Re: k set theory**,*lwalke3***Re: k set theory**,*lwalke3***Re: k set theory**,*Zaljohar***Re: k set theory**,*MoeBlee*

**Re: Christmass theory.**,*Zaljohar***Re: Christmass theory.**,*lwalke3***Re: Christmass theory.**,*Zaljohar*

**Re: Russell's paradox and ZF(C)**,*LauLuna***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*Zaljohar***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege***Re: Russell's paradox and ZF(C)**,*G . Frege*

- <Possible follow-ups>
**Re: Russell's paradox and ZF(C)**,*george***Re: Russell's paradox and ZF(C)**,*MoeBlee***Re: Russell's paradox and ZF(C)**,*G . Frege*

**Re: Russell's paradox and ZF(C)**,*george*

**Who Cares if a System is Inconsistent or Incomplete or Any of that Stuff?**,*Charlie-Boo***Re: Heap Theory**,*Zaljohar***Re: Heap Theory**,*lwalke3*- <Possible follow-ups>
**Re: Heap Theory**,*Zaljohar***Re: Heap Theory**,*Zaljohar***Re: Heap Theory**,*Zaljohar*

**=?ISO-8859-1?Q?Has_BS_Anand_Refuted_G=F6del's_Theorem??=**,*LauLuna***Re: Has BS Anand Refuted Gödel's Theorem**,*Gc***Re: Has BS Anand Refuted Gödel's Theorem**,*LauLuna***Re: Has BS Anand Refuted Gödel's Theorem**,*Peter_Smith***Re: Has BS Anand Refuted Gödel's Theorem**,*george*

**Re: Has BS Anand Refuted Gödel's Theorem**,*george***Re: Has BS Anand Refuted Gödel's Theorem**,*R. Srinivasan***Re: Has BS Anand Refuted Gödel's Theorem**,*LauLuna***Re: Has BS Anand Refuted Gödel's Theorem**,*Peter_Smith***Re: Has BS Anand Refuted Gödel's Theorem**,*george*

**Re: New kSAT Reduction System**,*translogi***Re: New kSAT Reduction System**,*reasterly***Re: New kSAT Reduction System**,*translogi*

**Cyclical comprehension schema**,*Zaljohar***Re: Cyclical comprehension schema**,*Zaljohar***Re: Cyclical comprehension schema**,*Zaljohar***Re: Cyclical comprehension schema**,*lwalke3***Re: Cyclical comprehension schema**,*lwalke3***Re: Cyclical comprehension schema**,*Zaljohar*

**Got Hope?**,*Christian Believer***Re: Got Hope?**,*William Elliot*

**Re: Torkel Franzen on truth**,*Aatu Koskensilta***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*george*- <Possible follow-ups>
**Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*george*

**Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee*

**Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george*

**Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee*

**Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*Aatu Koskensilta***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*Marshall***Re: Torkel Franzen on truth**,*Aatu Koskensilta*

**Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*Aatu Koskensilta***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*Nam D. Nguyen***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*herbzet***Re: Torkel Franzen on truth**,*george*

**Re: Torkel Franzen on truth**,*MoeBlee***Re: Torkel Franzen on truth**,*Alan Smaill***Re: Torkel Franzen on truth**,*Newberry***Re: Torkel Franzen on truth**,*Alan Smaill***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*Alan Smaill***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*Alan Smaill***Re: Torkel Franzen on truth**,*george***Re: Torkel Franzen on truth**,*Alan Smaill***Re: Torkel Franzen on truth**,*Aatu Koskensilta*

**Re: Torkel Franzen on truth**,*kleptomaniac666_***Re: Torkel Franzen on truth**,*kleptomaniac666_*

**Re: Biggest maths fraud in history**,*David C . Ullrich***BJ Muttlick likes it up the ass!**,*herbzet***Oh boy, a cyberstalker!**,*herbzet***T-relevant logic**,*Newberry***Re: T-relevant logic**,*William Elliot***Re: T-relevant logic**,*R. Srinivasan***Re: T-relevant logic**,*David C . Ullrich***Re: T-relevant logic**,*LordBeotian***Re: T-relevant logic**,*LauLuna***Re: T-relevant logic**,*Newberry***Re: T-relevant logic**,*LauLuna***Re: T-relevant logic**,*Newberry***Re: T-relevant logic**,*Newberry*

**Re: T-relevant logic**,*LauLuna***Re: T-relevant logic**,*Newberry***Re: T-relevant logic**,*Newberry*

**[FAQ, 06/11/05] Mathematical logic on the web**,*Boris 'pi' Piwinger***Re: Fine-tuning object 'relationship'**,*Dag Yo***Re: Fine-tuning object 'relationship'**,*userjn845***Re: Fine-tuning object 'relationship'**,*Dag Yo***Re: Fine-tuning object 'relationship'**,*userjn845***Re: Fine-tuning object 'relationship'**,*Dag Yo***Re: Fine-tuning object 'relationship'**,*userjn845***Re: Fine-tuning object 'relationship'**,*Dag Yo***Re: Fine-tuning object 'relationship'**,*Ace0f_5pades***Re: Fine-tuning object 'relationship'**,*herbzet*

- <Possible follow-ups>
**Re: Fine-tuning object 'relationship'**,*pjmutnick***Re: Fine-tuning object 'relationship'**,*Dag Yo***Re: Fine-tuning object 'relationship'**,*pjmutnick*

**Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo*- <Possible follow-ups>
**Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough*

**Re: The fallacy of strengthened liar's paradox.**,*Aatu Koskensilta***Re: The fallacy of strengthened liar's paradox.**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox.**,*Marshall***Re: The fallacy of strengthened liar's paradox.**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox --- NAFL-acceptable self-reference**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox --- NAFL-acceptable self-reference**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo*

**Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox.**,*R. Srinivasan***Re: The fallacy of strengthened liar's paradox.**,*Marshall***Re: The fallacy of strengthened liar's paradox.**,*R. Srinivasan*

**Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Daryl McCullough***Re: The fallacy of strengthened liar's paradox.**,*Newberry***Re: The fallacy of strengthened liar's paradox.**,*Aatu Koskensilta***Re: The fallacy of strengthened liar's paradox.**,*LauLuna***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo*

**Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Charlie-Boo***Re: The fallacy of strengthened liar's paradox.**,*Chris Menzel*

**Re: The fallacy of strengthened liar's paradox.**,*george***Re: The fallacy of strengthened liar's paradox.**,*Newberry*