（Ordinal transfinite iteration + Oracle Turing machine ）to solve the Π₂ formula (∀x) (∃y) R (x, y) structure problem. 
github.com/GEBcore/turing-phd