Что такое принцип верификации в логике?