IS GÖDEL'S PROOF AN ABUSE OF LANGUAGE? A TRANSLATION-FAILURE FROM ONE LANGUAGE
TO ANOTHER? FROM LANGUAGE OF ARITHMETIC INTO LANGUAGE OF PREDICATE LOGIC? MANY OF LANGUAGE'S
PROBLEMS AND RESOURCES ARE MUTE IN THIS PROOF'S LITERATURE.
"An unexamined life is not worth
living", Socrates. Is unexamined math worth practising? teaching?
IT'S WIN-WIN: IF LANGABUSE EXISTS, WE LEARN; REFUTABLY NOT, WE LEARN! DOUBLE-DARE YOU TO "PLAY"! Y'ALL.COM