scholasticize logicise formalise classicise theologise schematise constructivise axiomatise systematise syllogise