2 ms·I was mostly curious if there is some kind of (formal) specifications that one can use (axioms).by Dewie 12y agoI was mostly curious if there is some kind of (formal) specifications that one can use (axioms).