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>
Categoria:Teuria dei ensèm fundazziú