MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

The trouble with non-quantifiable terms is that said terms are used in a wide variety of areas so they acquire different connotations and as such are "soft" words. One such term is the word "proposition." In Logic it is loosely synonymous with the word statement. E.g "The A-proposition is a Universal Affirmative "proposition" or statement; All humans are mortal beings. Christian Goldbach's statement about "prime #'s has been called his "Theorem." The term "proposition" does imply, indeed, a theory which is rather "tentative" than one we could rightly called "theorem."