https://123dok.net/document/y96gepvy-on-the-computational-meaning-of-axioms.html