I have an intuitive understanding of the definitions that will follow,

[Noxide]

I have an intuitive understanding of the definitions that will follow, but in my search to find specific definitions I only come up with vague explanations and contentious or subjective uses of those definitions. Please provide some definitions (mathematical) for the following list (and sources if possible):

proposition

lemma

corollary

theorem

principle

law

ruleThanks

 

[_DJ_british_?]

proposition

http://en.wikipedia.org/wiki/Proposition"

lemma

http://en.wikipedia.org/wiki/Lemma_%28mathematics%29"

corollary

http://en.wikipedia.org/wiki/Corollary"

theorem

http://en.wikipedia.org/wiki/Theorem"

principle

http://en.wikipedia.org/wiki/Principle"

law

http://en.wikipedia.org/wiki/Scientific_law"

rule

http://en.wikipedia.org/wiki/R.U.L.E."

 

[Noxide]

Many of the definitions listed depend on the definition of a proposition, however according to wikipedia (which I am aware of) there exists a great deal of contention as to the definition of a preposition...

 

[_DJ_british_?]

Last sentence in the introduction of the "proposition" article : "Strawson advocated the use of the term "statement" (instead of proposition), and this is the current usage in mathematical logic."

Here.