# sci.logic

**fourier transformation and distributions**,*gilraen***Re: fourier transformation and distributions**,*Frederick Williams*

**Q: equality elemination**,*Nils***Re: Q: equality elemination**,*William Elliot*

**Finite/infinite models**,*lacrimosalundin***Re: Finite/infinite models**,*Chris Menzel***Re: Finite/infinite models**,*lacrimosalundin*

**compactness theorem confusion**,*Snis Pilbor***Re: compactness theorem confusion**,*Chris Menzel***Re: compactness theorem confusion**,*David C . Ullrich***Re: compactness theorem confusion**,*tohentoon*

**Practical Application of the "Liar's Paradox"**,*jerry kraus***Re: Contingent Things**,*Jesse F. Hughes***axioms of mathematical logic**,*itaj***Re: axioms of mathematical logic**,*smn***Re: axioms of mathematical logic**,*John Jones***Re: axioms of mathematical logic**,*tohentoon*

**Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*John Jones***Re: axioms of mathematical logic**,*Frederick Williams***Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*John Jones***Re: axioms of mathematical logic**,*Jan Burse*

**Re: axioms of mathematical logic**,*Jan Burse***Re: axioms of mathematical logic**,*Jan Burse*

**Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*David C . Ullrich*

**Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*itaj*

**Re: axioms of mathematical logic**,*John Jones*

**Possibility of the Empty World**,*Paul Holbach***Re: Possibility of the Empty World**,*Paul Holbach***Re: Possibility of the Empty World**,*William Elliot***Re: Possibility of the Empty World**,*Roberto Vescarelli*

**How to enumerate this subset of the assignment functions for a formula?**,*malsburg***Re: Do reals really have to be genuine numbers?**,*R. Srinivasan***A less than familiar mathematics?**,*John Jones***Neural Networks and Formal Systems**,*LauLuna***Shoenfield 5.2e**,*mmweiss***Re: Shoenfield 5.2e**,*James Dolan***Re: Shoenfield 5.2e**,*george***Re: Shoenfield 5.2e**,*mmweiss*

**SIPTA Newsletter Announcement - New issue**,*Alessandro Antonucci***Existence : A Chinese Perspective**,*jerry kraus***Our Heavenly Father on 11-22-05 at 12:47 P.M.**,*cattheon***If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Peter_Smith***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Jack Campin - bogus address***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Confutus*

**Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Daryl McCullough***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Keith Ramsay***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Daryl McCullough***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*R. Srinivasan***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*lugita15***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*lugita15***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*lugita15***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*lugita15*

**Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Frederick Williams***Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*george*

**Property of recursive set**,*Atreides***IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*LauLuna***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*aatu . koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*abo**Message not available**Message not available**Message not available**Message not available***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*abo***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*abo***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta**Message not available***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*abo***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*abo***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta*

**Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Peter_Smith***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Peter_Smith***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta**Message not available***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*LauLuna***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*Aatu Koskensilta***Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?**,*LauLuna*

**Re: CBL (The system your professor doesn't want you to see.)**,*george***Queue**,*John Jones***Re: Queue**,*mixi . mo*

**Goedel's formula made simple**,*Newberry***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*Newberry***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*Newberry***Re: Goedel's formula made simple**,*zzbunker@xxxxxxxxxxxx***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*zzbunker@xxxxxxxxxxxx***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*zzbunker@xxxxxxxxxxxx***Re: Goedel's formula made simple**,*lugita15***Re: Goedel's formula made simple**,*zzbunker@xxxxxxxxxxxx***Re: Goedel's formula made simple**,*lugita15*

**MOMENTARIAN "New" Google Beta Group**,*Nick***Re: Is the Halting Problem merely an ill-formed question?**,*george***Re: Is the Halting Problem merely an ill-formed question?**,*Peter Olcott*- <Possible follow-ups>
**Re: Is the Halting Problem merely an ill-formed question?**,*Edward Green*

**A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*Rupert***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*Rupert*

**Re: A few questions about formal systems**,*Peter_Smith***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*Peter_Smith***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*Peter_Smith***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*Peter_Smith***Re: A few questions about formal systems**,*Newberry*

**Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*lugita15*

**Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*Newberry***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*abo***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*abo***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*abo***Re: A few questions about formal systems**,*Newberry*

**Re: A few questions about formal systems**,*Charlie-Boo***Re: A few questions about formal systems**,*MoeBlee***Re: A few questions about formal systems**,*lugita15***Re: A few questions about formal systems**,*MoeBlee***Re: A few questions about formal systems**,*lugita15*

**Re: A few questions about formal systems**,*abo***Re: A few questions about formal systems**,*lugita15*

**context free grammars and ambiguity**,*Per Freem***Re: context free grammars and ambiguity**,*William Elliot*

**Re: Bias against unintelligent people**,*Jesse F. Hughes***Re: Proper class.Proper class ?**,*george***Re: Proper class.Proper class ?**,*Keith Ramsay*

**Request for Reference/Link to example of defining a theory/logic.**,*Scott***Re: Request for Reference/Link to example of defining a theory/logic.**,*Charlie-Boo***Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott***Re: Request for Reference/Link to example of defining a theory/logic.**,*Peter_Smith***Re: Request for Reference/Link to example of defining a theory/logic.**,*Charlie-Boo***Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott***Re: Request for Reference/Link to example of defining a theory/logic.**,*Peter_Smith***Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott***Re: Request for Reference/Link to example of defining a theory/logic.**,*Peter_Smith***Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott***Re: Request for Reference/Link to example of defining a theory/logic.**,*Peter_Smith***Re: Request for Reference/Link to example of defining a theory/logic.**,*Charlie-Boo***Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott*

**Re: Request for Reference/Link to example of defining a theory/logic.**,*Scott*

**Prove that function is not primitive recursive.**,*Atreides*- <Possible follow-ups>
**Prove that function is not primitive recursive.**,*Atreides*

**Re: Infinity Again**,*Tonico***Re: Infinity Again**,*Charlie-Boo***Re: Infinity Again**,*Jesse F. Hughes*

- <Possible follow-ups>
**Re: Infinity Again**,*Virgil*

**Problem Solving Textbook**,*cjkogan111***Re: Problem Solving Textbook**,*Ken Pledger***Re: Problem Solving Textbook**,*Peter_Smith*

**problems-solutions**,*S.L.***Re: problems-solutions**,*Charlie-Boo*

**Real mathematics vs FOL**,*biubo***Re: Real mathematics vs FOL**,*Nam Nguyen***Re: Real mathematics vs FOL**,*biubo***Re: Real mathematics vs FOL**,*Nam Nguyen***Re: Real mathematics vs FOL**,*biubo***Re: Real mathematics vs FOL**,*Mark Tarver*

**Generalized PMI proof**,*HGL***johnreed take 1A - Modified October 18, 2006**,*johnlawrencereedjr***Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo***Re: Axiomatization of Ordinal Arithmetic**,*Peter_Smith***Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo***Re: Axiomatization of Ordinal Arithmetic**,*Peter_Smith***Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo***Re: Axiomatization of Ordinal Arithmetic**,*Peter_Smith***Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo*

- <Possible follow-ups>
**Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo***Re: Axiomatization of Ordinal Arithmetic**,*lugita15***Re: Axiomatization of Ordinal Arithmetic**,*Charlie-Boo*

**texts for minimal logic**,*translogi@xxxxxxxxxxxxxx***Re: texts for minimal logic**,*Mark Tarver***Re: texts for minimal logic**,*galathaea***Re: texts for minimal logic**,*Peter_Smith***Re: texts for minimal logic**,*Jan Burse***Re: texts for minimal logic**,*Peter_Smith***Re: texts for minimal logic**,*Jan Burse***Re: texts for minimal logic**,*translogi@xxxxxxxxxxxxxx***Re: texts for minimal logic**,*Jan Burse*

**Re: texts for minimal logic**,*mordov***Re: texts for minimal logic**,*translogi@xxxxxxxxxxxxxx***Re: texts for minimal logic**,*Jan Burse***Re: texts for minimal logic**,*translogi@xxxxxxxxxxxxxx***Re: texts for minimal logic**,*Jan Burse***Re: texts for minimal logic**,*translogi@xxxxxxxxxxxxxx***Re: texts for minimal logic**,*Jan Burse***Re: texts for minimal logic**,*translogi@xxxxxxxxxxxxxx*

**Intuitionistic troubles...**,*translogi@xxxxxxxxxxxxxx***Re: Intuitionistic troubles...**,*Mark Tarver***Re: Intuitionistic troubles...**,*translogi@xxxxxxxxxxxxxx*

**Re: Intuitionistic troubles...**,*Jan Burse***Re: Intuitionistic troubles...**,*galathaea***Re: Intuitionistic troubles...**,*galathaea***Re: Intuitionistic troubles...**,*translogi@xxxxxxxxxxxxxx*

**Absolutely undecidable statements**,*Rupert***Re: Absolutely undecidable statements**,*Pierre Asselin***Re: Absolutely undecidable statements**,*Rupert***Re: Absolutely undecidable statements**,*Pierre Asselin***Re: Absolutely undecidable statements**,*Robert E. Beaudoin***Re: Absolutely undecidable statements**,*Pierre Asselin***Re: Absolutely undecidable statements**,*aatu . koskensilta*

**Re: Absolutely undecidable statements**,*Aatu Koskensilta*

**Henkin models**,*Rupert***Re: Henkin models**,*Aatu Koskensilta***Re: Henkin models**,*Rupert***Re: Henkin models**,*aatu . koskensilta***Re: Henkin models**,*Aatu Koskensilta*

**The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Rupert***Re: The Gordian knot**,*Henrik***Re: The Gordian knot**,*The Ghost In The Machine***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*The Ghost In The Machine***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*The Ghost In The Machine***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*The Ghost In The Machine***Re: The Gordian knot**,*Henrik***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Henrik***Re: The Gordian knot**,*John Jones***Re: The Gordian knot**,*Henrik***Re: The Gordian knot**,*John Jones*

**SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*John Jones***Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'**,*The Ghost In The Machine*

**fallacy of (denying hypothesis)/(affirming conclusion)**,*gaya . patel***Re: fallacy of (denying hypothesis)/(affirming conclusion)**,*translogi@xxxxxxxxxxxxxx***Re: fallacy of (denying hypothesis)/(affirming conclusion)**,*George Dance*

**Re: We, as Scientists must show tolerance to opposite views**,*Phil Carmody***call anywhere free and talk usefull topiks**,*singh . xx . pawan***to Record Human Dreams**,*jaggusid***Simple Question regarding Simply Typed Lambda Calculus**,*Debajit Adhikary***every formula is a logical consequence of its univeral closure.**,*speechweb***incompleteness and inconsistency**,*Per Freem***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*aatu . koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*george***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee*

**Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Chris Menzel***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*aatu . koskensilta***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*george***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*aatu . koskensilta***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*george***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Peter_Smith***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Per Freem***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Newberry***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Newberry***Re: incompleteness and inconsistency**,*Rupert*

**Re: incompleteness and inconsistency**,*Charlie-Boo*

**Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*MoeBlee***Re: incompleteness and inconsistency**,*Per Freem***Re: incompleteness and inconsistency**,*Aatu Koskensilta*

**Re: incompleteness and inconsistency**,*abo***Re: incompleteness and inconsistency**,*Aatu Koskensilta***Re: incompleteness and inconsistency**,*george***Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert*

**Re: Question about Quine's New Foundations**,*Aatu Koskensilta*- <Possible follow-ups>
**Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*Aatu Koskensilta***Re: Question about Quine's New Foundations**,*lugita15***Re: Question about Quine's New Foundations**,*aatu . koskensilta*

**Nameless critics on the Internet and critical analysis of Einstein’s E=mc2**,*physicsajay***Flavor of linear logic corresponding to symmetric monoidal categories with duals?**,*metaweta***[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger***Axioms & quantification**,*bluelabel***Re: Axioms & quantification**,*Frederick Williams***Re: Axioms & quantification**,*bluelabel***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*bluelabel***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*bluelabel***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*Frederick Williams***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*Frederick Williams***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*Chris Menzel***Re: Axioms & quantification**,*MoeBlee***Re: Axioms & quantification**,*Chris Menzel***Re: Axioms & quantification**,*MoeBlee*

**Smallest relation satisfying the following...**,*frob***Re: Smallest relation satisfying the following...**,*Aatu Koskensilta***Re: Smallest relation satisfying the following...**,*David C . Ullrich***Re: Smallest relation satisfying the following...**,*Frederick Williams*

**Re: The L3 Revolution**,*Confutus***Re: The L3 Revolution**,*William Elliot***Re: The L3 Revolution**,*Confutus***Re: The L3 Revolution**,*William Elliot*

- <Possible follow-ups>
**Re: The L3 Revolution**,*Confutus***Re: The L3 Revolution**,*Confutus***Re: The L3 Revolution**,*galathaea***Re: The L3 Revolution**,*Confutus*

**Gödel's modal proof that there is something**,*Dunk***Re: how to define Thm in PRA**,*george***Re: how to define Thm in PRA**,*Peter_Smith*- <Possible follow-ups>
**Re: how to define Thm in PRA**,*Aatu Koskensilta***Re: how to define Thm in PRA**,*Daryl McCullough*

**Re: how to define Thm in PRA**,*Aatu Koskensilta*

**Re: On Ultrafinitism**,*glennlieding*- <Possible follow-ups>
**Re: On Ultrafinitism**,*MoeBlee***Re: On Ultrafinitism**,*Rupert***Re: On Ultrafinitism**,*MoeBlee***Re: On Ultrafinitism**,*Rupert***Re: On Ultrafinitism**,*MoeBlee*

**Re: On Ultrafinitism**,*Eckard Blumschein*

**Re: BEING AND EXISTENCE**,*Owen***Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Nam Nguyen***Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Nam Nguyen***Re: BEING AND EXISTENCE**,*Paul Holbach*

**Re: BEING AND EXISTENCE**,*Paul Holbach*

- <Possible follow-ups>
**Re: BEING AND EXISTENCE**,*Roberto Vescarelli***Re: BEING AND EXISTENCE**,*Owen***Re: BEING AND EXISTENCE**,*Jesse F. Hughes***Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Jesse F. Hughes***Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Jesse F. Hughes***Re: BEING AND EXISTENCE**,*Aatu Koskensilta***Re: BEING AND EXISTENCE**,*Jesse F. Hughes*

**Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Paul Holbach*

**Re: BEING AND EXISTENCE**,*Paul Holbach***Re: BEING AND EXISTENCE**,*Owen***Re: BEING AND EXISTENCE**,*Paul Holbach*