Prolegomena to the Methodology of Verification of Irrational Systems · Study