You should take a look at Z Notation, which is a formal specification language based around mathematics & set theory. I hated working in it and have done my be

You should take a look at Z Notation, which is a formal specification language based around mathematics & set theory. I hated working in it and have done my best to forget everything about it.