esistenza
esistènza [Der. del lat. existentia, da existere "esistere"] [ALG] [ANM] Teorema di e.: proposizione la quale dimostri che esiste almeno una soluzione di un dato problema. ◆ [FAF] Teorema di e. di un modello: v. logica: III 485 c. ◆ [ALG] [ANM] Teorema di e. e unicità: proposizione la quale dimostri che la soluzione di un dato problema esiste ed è unica. Mentre i grandi matematici dei secoli precedenti e della prima metà dell'800 avevano generalm. ammesso come evidente l'esistenza di una soluzione in molti problemi di analisi, per es. in problemi estremali (di massimo e minimo), K. Weierstrass e i suoi allievi, costruendo degli esempi nei quali non si hanno soluzioni, hanno messo in luce la necessità logica di dimostrare in primo luogo l'e. di una soluzione.