Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Ten artykuł od 2011-06 wymaga uzupełnienia źródeł podanych informacji. Informacje nieweryfikowalne mogą zostać zakwestionowane i usunięte. Aby uczynić artykuł weryfikowalnym, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. |
Schemat aksjomatu – pewien nieskończony zbiór aksjomatów, który można w łatwy sposób przedstawić, zwykle w logice wyższego rzędu.
W matematyce przeznaczonej dla ludzi nie ma właściwie znaczenia czy traktujemy coś jako aksjomat wyższego rzędu czy jako schemat aksjomatu, jednak czasem chcemy koniecznie ograniczyć rząd logiki, np. żeby dowodzić coś o pewnych systemach formalnych, np. systemach automatycznego dowodzenia twierdzeń.
