Axiomenschema

Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen.

Ein derartiges Axiomensystem muss nicht als eine unendliche Menge aufgefasst werden. Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist.