Schema di assiomi

In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme (eventualmente infinito) di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine. Le fbf che rientrano nello schema vengono chiamate istanze dello schema.

Un esempio semplice è lo schema di assiomi:

che ha come istanze un insieme infinito di fbf tra cui:

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica