Кез келген тұжырым — философиялық, ғылыми, саяси — А1–А15 аксиомалары мен Инверсиялар сөздігі бойынша тексеріледі. Үкімді арбитр шығарады.