Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
Provability logic
cprvb

Next ⟩ ax-prv1

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cprvb

Description: Syntax for the provability predicate.

		Ref	Expression
	Assertion	cprvb	$wff Prv φ$