Show me an axiomatic approach to ethics, ideology or anything else in the marketplace of ideas, and I’ll show you a recipe designed to produce a specific result. . . . Besides, everyone since Gödel’s proof knows formal systems degenerate into mental masturbation at some point.[1]

Groundbreaking developments in the history of mathematics and logic: In 1931 Kurt Gödel published “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”[2] in the journal Monatshefte für Mathematik. The paper is famous among logicians and mathematicians for the two “Incompleteness Theorems” it contains,[3] logically demonstrating that no formal system rich enough to express truths of ordinary arithmetic can be both consistent and deductively complete while having a finite number of axioms.

The paper is famous among almost everyone else for containing a multi-page Rorschach inkblot, allowing a projection test in which the reader-subject can discern an easy dismissive response to whichever deductive argument they happen to like the least; or, if they prefer, to the exercise of deductive logic as a whole.

  1. [1]Lorraine Lee, Re: Julian Assange, the Left-Anarch. Comments at Social Memory Complex (21 April 2013). This is actually not even remotely what either of Gödel’s two major Incompleteness Theorem proofs says. –CJ.
  2. [2]A PDF blob of the article in its original German is available online thanks to Wilhelm K. Essler. An English translation of most of the paper is also available online thanks to Martin Hirzel.
  3. [3]Theorem VI and Theorem XI in the paper, specifically.


Help me get rid of these Google ads with a gift of $10.00 towards this month’s operating expenses for See Donate for details.

1 reply to Prooftexting Use a feed to Follow replies to this article · TrackBack URI

  1. Łukasz Rożej

    “… while having a finite number of axioms.”

    I think Gödel’s Theorem doesn’t require the formal system to have finite number of axioms. As far as I remember it applies to systems for which there is an algorithm that can verify whether any given statement is an axiom or not.

Post a reply

Your e-mail address will not be published.
You can register for an account and sign in to verify your identity and avoid spam traps.

Use Markdown syntax for formatting. *emphasis* = emphasis, **strong** = strong, [link]( = link,
> block quote to quote blocks of text.

This form is for public comments. Consult About: Comments for policies and copyright details.