# sci.logic

**Proof**,*Tom***Re: Constructive math query:- Countable orders**,*LauLuna***Inconceivable**,*Swami BV Vishnu Daivata***Re: Inconceivable**,*LauLuna*

**Reflections on Free Will and Proposed Perfect Knowledge of God**,*David***Re: Reflections on Free Will and Proposed Perfect Knowledge of God**,*Daryl McCullough***Re: Reflections on Free Will and Proposed Perfect Knowledge of God**,*LauLuna**Message not available*

**Re: Announcement: New release of free online calculator**,*zzbunker@xxxxxxxxxxxx***Re: Five things ***s believe**,*pinhead***I want to cook and eat American women!!!**,*Arturo Magidin***Re: I want to cook and eat American women!!!**,*Frederick Williams*

**CAPITAL LETTERS MOOTED IN EINSTEIN CURIO**,*John Jones***An analysis of the Proof by Contradiction**,*John Jones***Re: An analysis of the Proof by Contradiction**,*Peter_Smith***Re: An analysis of the Proof by Contradiction**,*Jan Burse***Re: An analysis of the Proof by Contradiction**,*G . Frege***Re: An analysis of the Proof by Contradiction**,*G . Frege***Re: An analysis of the Proof by Contradiction**,*Frederick Williams*

**israel**,*andromeda***the universe**,*andromeda***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*Jan Burse***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*Jan Burse***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*Jan Burse***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*galathaea***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*Alan Smaill***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*Jan Burse***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet***Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet*

**Re: Is Validity Just a Hypothetical or Conditional Characteristic?**,*herbzet*

**Re: Definition of AI.**,*David*- <Possible follow-ups>
**Re: Definition of AI.**,*David***Re: Definition of AI.**,*Nam D. Nguyen***Re: Definition of AI.**,*The Ghost In The Machine***Re: Definition of AI.**,*Nam D. Nguyen***Re: Definition of AI.**,*The Ghost In The Machine***Re: Definition of AI.**,*Stephen Harris*

**Goedel's proof**,*Newberry***Re: Goedel's proof**,*Peter_Smith***Re: Goedel's proof**,*aatu . koskensilta***Re: Goedel's proof**,*Newberry***Re: Goedel's proof**,*Peter_Smith***Re: Goedel's proof**,*george***Re: Goedel's proof**,*Newberry***Re: Goedel's proof**,*R. Srinivasan*

**entropy of set**,*Mike***Re: entropy of set**,*William Elliot***Re: entropy of set**,*Mike***Re: entropy of set**,*William Elliot*

**spam conference**,*John Jones***third world debt**,*John Jones***Make Money**,*lsanchez***Need help with simple FOL proof -- without using existential quantifiers**,*Dan Christensen***Re: Need help with simple FOL proof -- without using existential quantifiers**,*Peter_Smith***Re: Need help with simple FOL proof -- without using existential quantifiers**,*William Elliot***Re: Need help with simple FOL proof -- without using existential quantifiers**,*Bill Hale***Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege***Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege***Re: Need help with simple FOL proof -- without using existential quantifiers**,*Dan Christensen***Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege***Re: Need help with simple FOL proof -- without using existential quantifiers**,*Dan Christensen***Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege***Re: Need help with simple FOL proof -- without using existential quantifiers**,*Dan Christensen***Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege*

**Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege*

**Re: Need help with simple FOL proof -- without using existential quantifiers**,*G . Frege*

**Re: Gentzen on Wikipedia**,*Paul Holbach***Re: Gentzen on Wikipedia**,*Paul Holbach***Re: Gentzen on Wikipedia**,*Peter_Smith***Re: Gentzen on Wikipedia**,*Paul Holbach***Re: Gentzen on Wikipedia**,*G . Frege***Re: Gentzen on Wikipedia**,*Paul Holbach*

**for abbey: awe-inspiring tunes - ilco eb - (1/1)**,*addy***Request for clarification of what is a non first-order definable set.**,*Scott***Re: Request for clarification of what is a non first-order definable set.**,*MoeBlee***Re: Request for clarification of what is a non first-order definable set.**,*MoeBlee***Re: Request for clarification of what is a non first-order definable set.**,*Scott***Re: Request for clarification of what is a non first-order definable set.**,*galathaea***Re: Request for clarification of what is a non first-order definable set.**,*MoeBlee***Re: Request for clarification of what is a non first-order definable set.**,*Scott***Re: Request for clarification of what is a non first-order definable set.**,*MoeBlee*

**Re: Request for clarification of what is a non first-order definable set.**,*george*

**Re: Request for clarification of what is a non first-order definable set.**,*David C . Ullrich***Re: Request for clarification of what is a non first-order definable set.**,*george***Re: Request for clarification of what is a non first-order definable set.**,*G . Frege***Re: Request for clarification of what is a non first-order definable set.**,*Scott***Re: Request for clarification of what is a non first-order definable set.**,*george***Re: Request for clarification of what is a non first-order definable set.**,*Scott***Re: Request for clarification of what is a non first-order definable set.**,*G . Frege***Re: Request for clarification of what is a non first-order definable set.**,*MoeBlee***Re: Request for clarification of what is a non first-order definable set.**,*David C . Ullrich***Re: Request for clarification of what is a non first-order definable set.**,*Daryl McCullough*

**Re: Request for clarification of what is a non first-order definable set.**,*Scott*

**EINSTEIN WHIMSEY IMPLICATED IN CROSSPOSTING**,*John Jones*- <Possible follow-ups>
**EINSTEIN WHIMSEY IMPLICATED IN CROSSPOSTING**,*John Jones*

**Re: Kant and the A Priori**,*John Jones***Re: Simple examples of transfinite induction**,*Aatu Koskensilta***Re: Simple examples of transfinite induction**,*Peter_Smith*- <Possible follow-ups>
**Re: Simple examples of transfinite induction**,*R. Srinivasan***Re: Simple examples of transfinite induction**,*galathaea***Re: Simple examples of transfinite induction**,*abo*

**Re: Halting problem totally unsolvable?**,*george*- <Possible follow-ups>
**Re: Halting problem totally unsolvable?**,*george***Re: Halting problem totally unsolvable?**,*george*

**Canonical form with NOR or NAND?**,*Jack W.***Re: Canonical form with NOR or NAND?**,*G . Frege***Re: Canonical form with NOR or NAND?**,*G . Frege***Re: Canonical form with NOR or NAND?**,*translogi*

**Re: Canonical form with NOR or NAND?**,*part*

**Re: Canonical form with NOR or NAND?**,*Mitch*

**OT: Special pleading**,*Frederick Williams***Re: OT: Special pleading**,*David C . Ullrich***Re: OT: Special pleading**,*Frederick Williams*

**Quantifier non-elimination in Presburger arithmetic**,*Anton***Non-deterministic vs. deterministic TM**,*un student***Re: Non-deterministic vs. deterministic TM**,*H. J. Sander Bruggink***Re: Non-deterministic vs. deterministic TM**,*un student***Re: Non-deterministic vs. deterministic TM**,*H. J. Sander Bruggink*

**Re: Non-deterministic vs. deterministic TM**,*Patrick Ashley Meuser\"-Bianca\"*

**compare**,*andromeda***near fusion**,*andromeda***Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*aatu . koskensilta***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*aatu . koskensilta***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna*

**Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*George Dance***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*George Dance***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel*

**Re: Methatheory of Propositional Calculus: A Doubt**,*George Dance***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Peter_Smith***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*George Dance***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna*

**Re: Methatheory of Propositional Calculus: A Doubt**,*herbzet***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Alan Smaill***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Alan Smaill***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Aatu Koskensilta***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Alan Smaill***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Alan Smaill***Re: Methatheory of Propositional Calculus: A Doubt**,*R. Srinivasan***Re: Methatheory of Propositional Calculus: A Doubt**,*Alan Smaill***Re: Methatheory of Propositional Calculus: A Doubt**,*Aatu Koskensilta***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*Chris Menzel***Re: Methatheory of Propositional Calculus: A Doubt**,*LauLuna***Re: Methatheory of Propositional Calculus: A Doubt**,*herbzet*

**law of the excluded middle deriving law of non contradiction and vice versa**,*jameshanley39@xxxxxxxxxxx***Is math an abstract of seeing**,*Jan Burse***Re: Is math an abstract of seeing**,*Jan Burse***Re: Is math an abstract of seeing**,*Jan Burse*

**johnreed Catch 22 - January 10, 2007**,*johnlawrencereedjr***Shoenfield 6e7c**,*mmweiss***Defining the "Unexpected" in third order logic**,*John Jones***Undecidability in Physics**,*LauLuna***Re: Undecidability in Physics**,*abo***Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*LauLuna***Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*LauLuna***Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*LauLuna***Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*Stephen Harris*

**Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*Nam Nguyen***Re: Undecidability in Physics**,*Stephen Harris***Re: Undecidability in Physics**,*Stephen Harris*

**Re: Undecidability in Physics**,*John Jones*

**Mathematics, Geometry and Pictography**,*John Jones***Re: Mathematics, Geometry and Pictography**,*Peter_Smith*

**MetaLanguage in Mathematics**,*gaya . patel***Re: MetaLanguage in Mathematics**,*William Elliot***Re: MetaLanguage in Mathematics**,*gaya . patel***Re: MetaLanguage in Mathematics**,*William Elliot***Re: MetaLanguage in Mathematics**,*gaya . patel***Re: MetaLanguage in Mathematics**,*William Elliot***Re: MetaLanguage in Mathematics**,*gaya . patel***Re: MetaLanguage in Mathematics**,*William Elliot***Re: MetaLanguage in Mathematics**,*Chris Menzel***Re: MetaLanguage in Mathematics**,*Aatu Koskensilta***Re: MetaLanguage in Mathematics**,*MoeBlee***Re: MetaLanguage in Mathematics**,*Chris Menzel***Re: MetaLanguage in Mathematics**,*Peter_Smith***Re: MetaLanguage in Mathematics**,*Chris Menzel***Re: MetaLanguage in Mathematics**,*Aatu Koskensilta***Re: MetaLanguage in Mathematics**,*MoeBlee*

**Re: MetaLanguage in Mathematics**,*Peter_Smith***Re: MetaLanguage in Mathematics**,*H. J. Sander Bruggink*

**Philosophy Of Solving Problems**,*symphony***"if and only if" in normal mathematics**,*gaya . patel***"treq"**,*Selva***Re: "treq"**,*Fuckwit***Re: "treq"**,*Aatu Koskensilta***Re: "treq"**,*Peter_Smith***Re: "treq"**,*Selva*

**Re: 1, 2, 3, 5, 7... PRIME Numbers**,*William Elliot***Embeddings and negation**,*Michael De***Re: Embeddings and negation**,*Michael De*

**The Number '1'**,*newstips6706***Stuck on an Enderton problem**,*stonemcstone***Re: Stuck on an Enderton problem**,*Rupert***Re: Stuck on an Enderton problem**,*stonemcstone***Re: Stuck on an Enderton problem**,*Rupert***Re: Stuck on an Enderton problem**,*David C . Ullrich*

**Re: Stuck on an Enderton problem**,*William Elliot***Re: Stuck on an Enderton problem**,*Chris Menzel*

**G. Frege plase: A is subset of B**,*gaya . patel***Re: G. Frege plase: A is subset of B**,*Arturo Magidin***Re: G. Frege plase: A is subset of B**,*gaya . patel***Re: G. Frege plase: A is subset of B**,*Arturo Magidin***Re: G. Frege plase: A is subset of B**,*Alessandro Duarte***Re: G. Frege plase: A is subset of B**,*Arturo Magidin***Re: G. Frege plase: A is subset of B**,*Alessandro Duarte***Re: G. Frege plase: A is subset of B**,*Virgil***Re: G. Frege plase: A is subset of B**,*Arturo Magidin*

**Re: G. Frege plase: A is subset of B**,*George Dance***Re: G. Frege plase: A is subset of B**,*Arturo Magidin*

**Logical fallacies**,*translogi***Re: Logical fallacies**,*Fuckwit***Re: Logical fallacies**,*George Dance***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*Peter_Smith***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*Peter_Smith***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*Peter_Smith***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*Peter_Smith***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*George Dance***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*George Dance*

**Re: Logical fallacies**,*George Dance***Re: Logical fallacies**,*herbzet***Re: Logical fallacies**,*George Dance***Re: Logical fallacies**,*herbzet*

**diagonalization and Axiom of Choice**,*Mark-T***Re: diagonalization and Axiom of Choice**,*Aatu Koskensilta***Re: diagonalization and Axiom of Choice**,*David C . Ullrich***Re: diagonalization and Axiom of Choice**,*Frederick Williams***Re: diagonalization and Axiom of Choice**,*LauLuna***Re: diagonalization and Axiom of Choice**,*Herman Jurjus***Re: diagonalization and Axiom of Choice**,*Mark-T***Re: diagonalization and Axiom of Choice**,*Arturo Magidin***Re: diagonalization and Axiom of Choice**,*Herman Jurjus***Re: diagonalization and Axiom of Choice**,*Arturo Magidin*

**Re: diagonalization and Axiom of Choice**,*lugita15***Re: diagonalization and Axiom of Choice**,*Herman Jurjus***Re: diagonalization and Axiom of Choice**,*abo*

**Re: Can ZFC prove Addition is Associative?**,*R. Srinivasan***Mathematical vulgarities of sets**,*John Jones***Re: Mathematical vulgarities of sets**,*Charlie-Boo***Re: Mathematical vulgarities of sets**,*MoeBlee***Re: Mathematical vulgarities of sets**,*Chris Menzel***Re: Mathematical vulgarities of sets**,*James Dolan***Re: Mathematical vulgarities of sets**,*Peter_Smith***Re: Mathematical vulgarities of sets**,*John Jones***Re: Mathematical vulgarities of sets**,*Stephen Harris***Re: Mathematical vulgarities of sets**,*Aatu Koskensilta***Re: Mathematical vulgarities of sets**,*Aatu Koskensilta***Re: Mathematical vulgarities of sets**,*Peter_Smith***Re: Mathematical vulgarities of sets**,*John Jones***Re: Mathematical vulgarities of sets**,*Peter_Smith***Re: Mathematical vulgarities of sets**,*John Jones***Re: Mathematical vulgarities of sets**,*Bill Taylor***Re: Mathematical vulgarities of sets**,*Chris Menzel***Re: Mathematical vulgarities of sets**,*Chris Menzel***Re: Mathematical vulgarities of sets**,*John Jones***Re: Mathematical vulgarities of sets**,*Aatu Koskensilta***Re: Mathematical vulgarities of sets**,*Chris Menzel***Re: Mathematical vulgarities of sets**,*Aatu Koskensilta***Re: Mathematical vulgarities of sets**,*Chris Menzel*

**Silly question-Please answer quickly**,*babu***Re: Silly question-Please answer quickly**,*fred . galvin*

**The Certainties of Counting**,*John Jones***Re: The Certainties of Counting**,*Aluminium Holocene Holodeck Zirconium*

**silver**,*the51intruder*- <Possible follow-ups>
**silver**,*andromeda***Re: silver**,*Jack Campin - bogus address*

**Model Theory question.**,*David C . Ullrich***Re: Model Theory question.**,*fred . galvin**Message not available**Message not available***Re: Model Theory question.**,*fred . galvin***Re: Model Theory question.**,*Robert Sheskey***Re: Model Theory question.**,*Jan Burse***Re: Model Theory question.**,*David C . Ullrich***Re: Model Theory question.**,*fred . galvin***Re: Model Theory question.**,*David C . Ullrich*

**A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Peter_Smith***Re: A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Peter_Smith***Re: A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Nam D. Nguyen***Re: A potential new axiom to ZF, or even ZFC?**,*Peter_Smith***Re: A potential new axiom to ZF, or even ZFC?**,*Nam Nguyen***Ttranscendental Goldbach Conjecture**,*Nam Nguyen***Re: Ttranscendental Goldbach Conjecture**,*Nam Nguyen***No need for a new axiom**,*Peter_Smith*

**Explanation of Chaos**,*John Jones***Re: Explanation of Chaos**,*William Elliot***Re: Explanation of Chaos**,*Nam D. Nguyen***Re: Explanation of Chaos**,*Nam D. Nguyen***Re: Explanation of Chaos**,*John Jones*

**Re: Explanation of Chaos**,*J P***Re: Explanation of Chaos**,*John Jones***Re: Explanation of Chaos**,*J P***Re: Explanation of Chaos**,*John Jones***Re: Explanation of Chaos**,*J P***Re: Explanation of Chaos**,*John Jones***Re: Explanation of Chaos**,*Aluminium Holocene Holodeck Zirconium***Re: Explanation of Chaos**,*Aluminium Holocene Holodeck Zirconium*

**Re: Deep Thoughts # 27: Some Fundamental Answers**,*R. Srinivasan***Re: Deep Thoughts # 27: Some Fundamental Answers**,*R. Srinivasan***Re: Deep Thoughts # 27: Some Fundamental Answers**,*Charlie-Boo***Re: Deep Thoughts # 27: Some Fundamental Answers**,*R. Srinivasan***Re: Deep Thoughts # 27: Some Fundamental Answers**,*Charlie-Boo*

**Re: Deep Thoughts # 27: Some Fundamental Answers**,*Charlie-Boo*

**Re: New Axiom is own Counter Example.**,*R. Srinivasan***Differences between sets and elements**,*William Elliot***Re: Differences between sets and elements**,*JohnCreighton_***Re: Differences between sets and elements**,*george*

**Proofs**,*n . e . brown***Re: Proofs**,*William Elliot***Re: Proofs**,*polas***Re: Proofs**,*William Elliot***Re: Proofs**,*polas***Re: Proofs**,*William Elliot***Re: Proofs**,*polas***Re: Proofs**,*William Elliot***Re: Proofs**,*polas***Re: Proofs**,*polas***Re: Proofs**,*William Elliot***Re: Proofs**,*polas*

**Re: Proofs**,*Jan Burse***Re: Proofs**,*Jan Burse***Re: Proofs**,*polas*

**#moderncalcs a new IRC Channel**,*RadSurfer***[OT] - pronunciation**,*Person***Re: - pronunciation**,*Peter_Smith*

**Chapter Three of Logic Algebra was released today**,*Conbra***A question of time.**,*GOP 'n' 2008***A is subst of B**,*gaya . patel***Re: A is subst of B**,*Fuckwit***Re: A is subst of B**,*Frederick Williams***Re: A is subst of B**,*gaya . patel***Re: A is subst of B**,*MoeBlee***Re: A is subst of B**,*Nam Nguyen***Re: A is subst of B**,*Nam D. Nguyen***Re: A is subst of B**,*Nam D. Nguyen***Re: A is subst of B**,*Frederick Williams***Re: A is subst of B**,*gaya . patel***Re: A is subst of B**,*G . Frege***G. Frege please**,*gaya . patel***Re: A is subst of B**,*Frederick Williams***Re: A is subst of B**,*G . Frege***Re: A is subst of B**,*herbzet***Re: A is subst of B**,*Chris Menzel***Re: A is subst of B**,*Peter_Smith***Re: A is subst of B**,*George Dance*

**Re: A is subst of B**,*MoeBlee***Re: A is subst of B**,*Nam Nguyen***Re: A is subst of B**,*MoeBlee***Re: A is subst of B**,*Arturo Magidin***Re: A is subst of B**,*MoeBlee***Re: A is subst of B**,*Arturo Magidin***Re: A is subst of B**,*Nam Nguyen***Re: A is subst of B**,*MoeBlee*

**Re: A is subst of B**,*bluelabel*

**Re: A is subst of B**,*Conbra*

**Gentzen's consistency proof**,*Peter_Smith***Re: Gentzen's consistency proof**,*Rupert***Re: Gentzen's consistency proof**,*Aatu Koskensilta***Re: Gentzen's consistency proof**,*abo***Re: Gentzen's consistency proof**,*Peter_Smith*

**Skolem Prenex form**,*translogi***Re: Skolem Prenex form**,*aatu . koskensilta***Re: Skolem Prenex form**,*aatu . koskensilta***Re: Skolem Prenex form**,*Alan Smaill***Re: Skolem Prenex form**,*aatu . koskensilta*

**Re: Skolem Prenex form**,*herbzet***Re: Skolem Prenex form**,*herbzet***Re: Skolem Prenex form**,*Alan Smaill***Re: Skolem Prenex form**,*William Elliot***Re: Skolem Prenex form**,*herbzet***Re: Skolem Prenex form**,*William Elliot***Re: Skolem Prenex form**,*William Elliot***Re: Skolem Prenex form**,*translogi*

**Re: Skolem Prenex form**,*William Elliot*

**Re: Eureka! Russell's set exists!!**,*Newberry***Re: Eureka! Russell's set exists!!**,*Chris Menzel*- <Possible follow-ups>
**Re: Eureka! Russell's set exists!!**,*george***Re: Eureka! Russell's set exists!!**,*Newberry*

**Re: Eureka! Russell's set exists!!**,*george*

**The practical logic for young civilizations**,*Boris***How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*sanderbruggink***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*H. J. Sander Bruggink***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Nam Nguyen***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Nam Nguyen***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Bill Hale***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Nam Nguyen***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Bill Hale***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Nam Nguyen*

**Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo*

**Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Jan Burse***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Jan Burse***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Bill Hale***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*george***Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo*

**Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)**,*Charlie-Boo*

**The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Newberry***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Peter_Smith**Message not available***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*Albrecht***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*Frederick Williams***Re: The Difference between a Set and an Element**,*Chris Menzel*

**Re: The Difference between a Set and an Element**,*William Elliot***Re: The Difference between a Set and an Element**,*Peter_Smith*

**Re: The Difference between a Set and an Element**,*ernobe***Re: The Difference between a Set and an Element**,*MoeBlee***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*george*

**Re: The Difference between a Set and an Element**,*JohnCreighton_*

**Re: The Difference between a Set and an Element**,*Frederick Williams***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*george***Re: The Difference between a Set and an Element**,*Frederick Williams***Re: The Difference between a Set and an Element**,*Nam Nguyen***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Nam Nguyen***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Nam D. Nguyen***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Paul Holbach***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Daryl McCullough***Re: The Difference between a Set and an Element**,*JohnCreighton_***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Chris Menzel***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*MoeBlee***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*MoeBlee***Re: The Difference between a Set and an Element**,*Peter_Smith***Re: The Difference between a Set and an Element**,*Frederick Williams*

**Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*G . Frege***Re: The Difference between a Set and an Element**,*Frederick Williams***Re: The Difference between a Set and an Element**,*Paul Holbach*

**Re: The Difference between a Set and an Element**,*Owen*- <Possible follow-ups>
**The Difference between a Set and an Element**,*JohnCreighton_*

**And, logically, best for 2007 ...**,*Peter_Smith***Re: And, logically, best for 2007 ...**,*aatu . koskensilta***Re: And, logically, best for 2007 ...**,*herbzet***Re: And, logically, best for 2007 ...**,*translogi*

**Re: And, logically, best for 2007 ...**,*John*

**aaaaaaaaaaaaaa**,*bramha***weeeeeeeeeeeeeee**,*John Jones*

**When to Use Implication?**,*JohnCreighton_***Re: When to Use Implication?**,*G . Frege***Re: When to Use Implication?**,*JohnCreighton_***Re: When to Use Implication?**,*JohnCreighton_*

**Re: When to Use Implication?**,*Bill Hale***Re: When to Use Implication?**,*JohnCreighton_*

**[FAQ, 06/11/05] Mathematical logic on the web**,*Boris 'pi' Piwinger***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*aatu . koskensilta***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*aatu . koskensilta***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*aatu . koskensilta***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*aatu . koskensilta***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones*

- <Possible follow-ups>
**Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Nam D. Nguyen***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen*