Derivaciones (= deducción de los corolarios que sesprenden de proposiciones yá establecíes) y codificación (busca per inducción de proposiciones xenerales que dexen subsumir proposiciones particulares yá establecíes)