verifiable formula

Мат. проверяемая формула; верифицируемая формула