Assioma de fundaziun

De Wikipedia
(Rimandaa da Assioma da fundazziú)
Jump to navigation Jump to search
Portal Artícuj relazziunaa a matemàtica
Lombard Occidental Quel articul chì l'è scrivüü in Lumbard ucidental, cun l'urtugrafia ünificada.



L''assioma de fundaziun, ciamaa anca assioma de regülarità, a l'è vün di assioma de la teuria assiumatega di cungiunt. 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 cungiuntx minga vöj, a l'esist un cungiunt y partegnent à x e avent nissün element in cumün cun x.

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

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

  • Se pò avègh  : nissün cungiunt 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 cungiunt 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>