Assioma de fundaziun

De Wikipedia
(Rimandad de Assioma da fundazziú)
Portal Artícuj relazziunaa a matemàtica

Lombard Occidental

Quel articul chì l'è scrivüü in Lumbard, cun l'urtugrafia insübrica ünificada.

L''assioma de fundaziun, ciamaa anca assioma de regülarità, a l'è vün di assioma de la teuria assiumatega di insema. Intrudot in del 1925 dal John von Neumann, el giüga un grand röl in questa teuria, cura che i matemàtich el dröven mai in alter band.

El stipüla che per ogni insemax minga vöj, a l'esist un insema y partegnent à x e avent nissün element in cumün cun x.

El insema y el pò vess el insema vöj, e 'l gh'ha d'altra part del vess se x a l'è un insema trasitiv minga vöj.

Inscì i insema descrivüü da la teuria assiumatega rifleten püssee l'imagin intüitiva :

  • Se pò avègh  : nissün insema a l'è element da sé istess ;
  • Se pò avègh e ... e  : nissün ciclu de partenenza ;
  • Se pò avègh, in manera generala, dai sequenz infinii de insema cume e ... e etc.

Questa darera prupietà la significa che 'l predicaa el gh'ha dò variabil liber «  » a l'è ben fundaa. A l'è equivalenta a l'assioma de fundaziun se l'assioma de la scernida dependent a l'è verificaa. Quest daree a l'è un assioma de la scernida fisc flebil che 'l permet de custrüì di sequenz e che 'l matematich, minga specialista de logica matematica, el süpun intüitivament semper verificaa, despess senza savèl.</test>