verifiability criterion

Мат. критерий верифицируемости