Changes

Logician [[Mortimer Adler]] concurs with Dr. Kennedy that the standard definition of atheism which attempts to prove a universal negative is a self- defeating proposition and prominent atheists such as [[Gordon Stein]] and [[Carl Sagan]] have candidly stated that God's existence cannot be disproven.<ref>http://www.thedivineconspiracy.org/athart3.htm</ref>

Logician [[Mortimer Adler]] concurs with Dr. Kennedy that the standard definition of atheism which attempts to prove a universal negative is a self- defeating proposition and prominent atheists such as [[Gordon Stein]] and [[Carl Sagan]] have candidly stated that God's existence cannot be disproven.<ref>http://www.thedivineconspiracy.org/athart3.htm</ref>

In contrast to [[D. James Kennedy|Dr. D. James Kennedy]] claim, it is possible to prove universal negatives using logic. For first-order-logic it was shown in 1929 by Kurt Goedel that any statements in this logic, and thus also all universal negatives, can either be proven or disproven. This result is known as [[Goedel's completeness theorem]]. But even for incomplete logics is often possible to proven universal negative, and many great achievements, like [[Fermat's Last Theorem]], are exactly this, a proof of a universal negative.

In contrast to [[D. James Kennedy|Dr. D. James Kennedy]] claim, it is possible to prove universal negatives using logic. For first-order-logic it was shown in 1929 by Kurt Goedel that any statements in this logic, and thus also all universal negatives, can either be proven or disproven. This result is known as [[Goedel's completeness theorem]] for first-order logic. But even for incomplete logics is often possible to prove universal negatives, and many great achievements in mathematics, like [[Fermat's Last Theorem]], are exactly this, a proof of a universal negative.

===Atheism is Contrary to Reasonable Argument===

===Atheism is Contrary to Reasonable Argument===