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

Мат. verifiability criterion