Definition of "provability"

provability