Provable proposition (7)
I believe the answer is:
theorem
'provable proposition' is the definition.
(I've seen this in another clue)
This is all the clue.
(Other definitions for theorem that I've seen before include "(Maths) proposition" , "Mathematical axiom" , "Proven hypothesis" , "Geometric proposition" , "deduction" .)