# Equiprovability

From LLWiki

Revision as of 23:06, 18 January 2009 by Olivier Laurent (Talk | contribs)

Two formulas *A* and *B* are equiprovable, when is provable if and only if is provable.

- for any
*A*and*B*, and are equiprovable. - for any
*A*,*A*, and are equiprovable.