Axiomatic Theory of Rational Structures: A Formal Model of Reasoning | Synapse