ROADMAP

grammar, logic, rhetoric
->
arithmos, topos, chronos
->
astronomy et al (analogous)
->
dialectics

(arithmos is Peano)(succeasor/predecessor plus repetition)
grammar is context-free grammar (in C pre-processor)
logic is gate logic and digital systems (ref: VHDL)
chronos is iterative evaluation, that is, lambda calculus (cf list processing)
topos must be navigation. descriptive. sets and type systems. dscide whether something is something, categorical

from descriptive and prescriptive we get predictive, which is all sciences
thus, the knowledge base, separately, in easily digestable form.
must conform to categorization and also be deductive

that was still pure reason. to get a laboratory we need to know how to backtrack, how the processes themselves are to be recognized,
and this also includes several optimizations (finally.)
there might be some decision problems here

the output (rhetoric) is refined along with these advancements

dialectics is movement through contrast