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 ... Leggi Tutto