Stratification (mathematics)

Stratification has several usages in mathematics. == In mathematical logic == In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretation of a logical theory exists.

This neuron ends here.