Third-person singular simple present indicative form of crabble

plural of pederin

plural of milacid

(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.