Schemat aksjomatu

Ten artykuł od 2011-06 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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ń.