The inherent formality of mathematics, and the related desire to mathematicize all logical methods, such as permutation, hierarchy, and delineation, along with the seeming logical obsession with the provability of rhetorical arguments, marked by the invention of the reductio ad absurdium, led to a schism between logical systems ('entities', 'quantities') and rhetorical arguments ('causes', 'conditionals').