What is more, with Euclidean geometry had grown up the highly impressive idea of a systematically coherent deductive theory, aimed at a most broadly and highly conceived ideal goal, resting on axiomatic fundamental concepts and principles, proceeding according to apodictic arguments a totality formed of pure rationality, a totality whose unconditioned truth is available to insight and which consists exclusively of unconditioned truths recognized through immediate and mediate insight.