The incompleteness theorem has an interesting "workaround": http://stirling-westrup-tt.blogspot.com/2011/07/tt-ns-2823-ultimate-logic-to-infinity.html http://st

The incompleteness theorem has an interesting "workaround": http://stirling-westrup-tt.blogspot.com/2011/07/tt-ns-2823-ultimate-logic-to-infinity.html http://stirling-westrup-tt.blogspot.com/2011/07/tt-ns-2823-u...