apodictic axiomatic method inference Greek theories or inference rules axioms
This was solved by the inclusion of axioms with the apodictic inference rules of mathematical theories; the re-introduction of axiomatic method pioneered by the ancient Greeks.