Some early books on logic (such as Symbolic Logic by C. I. Lewis and Langford, 1932) used the term for any proposition (in any formal logic) that is universally valid.
Деякі ранні книги про логіку (наприклад, символічної логіки по працям Льюїса та Ленгфорд, 1932) використовують термін для будь-якої пропозиції (в будь-якій формальній логіці), що є загальнообов'язковим.