Talk:Carroll Paradox

The statement of this needs to be rewritten.

The source of this paradox is the assumption of modus ponens without having included it as an axiom (or something else axiomatic from which MP itself can be derived).

As the current impementation of our logical axioms stands in ProofWiki, there is no paradox. --prime mover 00:41, 10 November 2011 (CST)