Right. is "the basic science of what simple rules do" not the same as Formal systems?

https://en.wikipedia.org/wiki/Formal_system