capable of positive proof

See: provable