provability (prove + -ability; state_quality)
The condition of being provable