(article) Axiomatic Realism: Hyperformalisation