rimpiazzaménto

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, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo; 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 questa parte, la nuova formula che ne risulta è equivalente a quella data.