[MD] Flying Spaghetti Monsters

[craigerb at comcast.net]

[Platt]
> We've learned from Godel that logic is incomplete. It makes assumptions it
 > cannot prove. 

Actually, Godel proved that logic was complete:
Gödel's completeness theorem
>From Wikipedia, the free encyclopedia
Gödel's completeness theorem is an important theorem in mathematical logic which was first proved by Kurt Gödel in 1929. It states, in its most familiar form, that in first-order predicate calculus every logically valid formula is provable.
It was ARITHMETIC that Godel's Theorem states is INcomplete.  Logic is the method of determining the CONSEQUENCES that follow from one's assumptions/axioms/premisses.  It has nothing to say about the provability of those assumptions/axioms/premisses.
Craig