Axiom ax-prv1

Description: First property of three of the provability predicate. (Contributed by BJ, 3-Apr-2019)

	Ref	Expression
Hypothesis	ax-prv1.1	$$⊢\phi$$
Assertion	ax-prv1	$$⊢Prv\phi$$

Detailed syntax breakdown

Step	Hyp	Ref	Expression
0		wph	$$wff\phi$$
1	0	cprvb	$$wffPrv\phi$$