rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, [...] al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degliinsiemidiZermelo; e teorema (o principio) di r., che può essere così enunciato: se all’interno di una formula si rimpiazza una parte di essa con una formula equivalente a ...
Leggi Tutto
infinito, assioma dell'
infinito, assioma dell’ nella teoria degli insiemi di Zermelo-Fraenkel, stabilisce l’esistenza dell’insieme dei numeri naturali N (→ N, insieme dei numeri naturali; → Zermelo-Fraenkel, teoria di).
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata come NBG (→ Neumann-Bernais-Gödel, teoria...