Logical proposition (7)
'logical proposition' is the definition.
(I've seen this before)
This is all the clue.
(Other definitions for theorem that I've seen before include "speculation" , "Mathematical rule" , "Mathematical formula" , "Proposition not self-evident but proved by a chain of reasoning" , "Mathematical statement to be proved" .)
'logical proposition' is the definition.
(I've seen this in another clue)
This is all the clue.
(Other definitions for lemma that I've seen before include "heading" , "Subject's division" , "Proposition" , "Intermediate proof" , "Subsidiary theorem" .)