Antti Valmari wrote in reply to Nam Nguyen: >[...] > (With that axiom, the system proves a false sentence.) Any r.e. set of > axioms goes. ("r.e." is a very liberal notion of "well-behaving", also > Gödel assumed it.)
May I just point out that r.e. stands for recursively enumerable, thus enabling Nam (and any innocent passers-by) to look it up.
-- [Dancing is] a perpendicular expression of a horizontal desire. G.B. Shaw quoted in /New Statesman/, 23 March 1962