" 

 :To find the quote you request, you need only follow the link from ""statement"" to get the definition in Hamilton, ""A statement is a declarative sentence that is either true or false."" 

 :Keep in mind that I'm not talking philosophy here, only mathematics. 

 :In mathematics  in Hamilton in particular  we have (parapharse, because it is Sunday and my Hamilton is out at school): 

 :::Proposition 3.5:  If a group is cyclic then it is abelian. 

 :::Proof:  

 :Clearly, in this usage, which is common, ""proposition"" means ""true proposition"". 

 :I'll rewrite to make this clear to the reader.  If you agree it is now clear, you can remove the ""fact"" tags.   "