 This radical position on decidability results in various radical and counter-intuitive statements about unrestricted mathematical quantification, mathematical induction, and, especially, the sense of a newly proved mathematical proposition. In particular, Wittgenstein asserts that uncontroversial mathematical conjectures, such as Goldbach’s Conjecture (hereafter ‘GC’) and the erstwhile conjecture “Fermat’s Last Theorem” (hereafter ‘FLT’), have no sense (or, perhaps, no determinate sense) and that the unsystematic proof of such a conjecture gives it a sense that it didn’t previously have (PG 374) because 