abstract universal

Noun

 * 1) A universal proposition in logic.