w logice, reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań.

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.

reguła wyróżniająca zdania języka jako tezy niezależnie od wartości logicznej jakichkolwiek innych zdań wchodzących w skład tegoż języka.

utrwalony, powtarzający się sposób postępowania ustalony na mocy jakiegoś przepisu lub zwyczaju.