Reguły aksjomatyczne
Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji. |
Reguły aksjomatyczne - reguły wyróżniające zdania języka jako tezy niezależnie od wartości logicznej jakichkolwiek innych zdań wchodzących w skład tegoż języka. Ich przeciwieństwem są reguły inferencyjne.