OpenLLM-France/wikimedia huggingface dataset:
# Heike Makatsch

Heike Makatsch (Düsseldorf, 13 agosto 1971) è un'attrice tedesca.

## Biografia

Ha iniziato la sua carriera televisiva nel 1993 sul canale musicale VIVA. Al cinema ha lavorato sia in lingua inglese che in quella tedesca. Ha vinto il premio Bambi nel 1996 e nel 2003.

### Vita privata

Sul set del film Obsession nel 1997 ha conosciuto l'attore Daniel Craig con cui è stata legata fino al 2005. Dal 2005 è legata a Max Martin Schröder, componente del gruppo indie rock tedesco Tomte, da cui ha avuto due figli.

## Filmografia

Questa lista è suscettibile di variazioni e potrebbe essere incompleta o non aggiornata.
* Obsession, regia di Peter Sehr (1997)
* Aimée & Jaguar, regia di Max Färberböck (1999)
* Gripsholm, regia di Xavier Koller (2000)
* Resident Evil, regia di Paul W. S. Anderson (2002)
* Anatomy 2 (Anatomie 2), regia di Stefan Ruzowitzky (2003)
* Love Actually - L'amore davvero (Love Actually), regia di Richard Curtis (2003)
* Il risveglio del tuono (A Sound of Thunder), regia di Peter Hyams (2005)
* Ritorno a Tara Road (Tara Road), regia di Gillies MacKinnon (2005)
* Uibù - Fantasmino fifone (Hui Buh), regia di Sebastian Niemann (2007)
* Hilde, regia di Kai Wessel (2009)
* Le avventure di Huckleberry Finn (Die Abenteuer des Huck Finn), regia di Hermine Huntgeburth (2012)
* Storia di una ladra di libri (The Book Thief), regia di Brian Percival (2013)

## Doppiatrici italiane

* Laura Boccanera in Love Actually - L'amore davvero
* Claudia Catani in Uibù - Fantasmino fifone
# Labico

Labico è un comune italiano di 6 477 abitanti della città metropolitana di Roma Capitale nel Lazio.

## Geografia fisica
### Clima

* Classificazione climatica: zona D, 1791 GR/G

## Origini del nome

Il comune si è chiamato Lugnano fino al 1872, anno in cui venne chiamato Labicano, nome mutato nel 1880 nell'attuale "Labico". Il vecchio nome di "Lugnano" derivava da "Fundus Longianus", dal nome della famiglia dei "Longus" che vi possedeva delle proprietà terriere. Il nuovo nome richiama l'antico Labicum, identificato con Lugnano dall'antiquario Francesco de' Ficoroni, nativo di Labico, nel XVIII secolo. L'ipotesi del Ficoroni era stata tuttavia giudicata priva di fondamento già da studiosi come il Nibby e il Tomassetti.

## Storia
### Antichità

Anche se la localizzazione di "Labicum" non è probabile, si ritiene che nel posto di Labico fosse localizzata l'antica Bola, la città latina conquistata successivamente dagli Equi e in lotta con Roma verso il V secolo a.C.

### Simboli

Lo stemma di Labico riproduce il sigillo usato dal Comune nel 1816.
Il gonfalone è un drappo partito di giallo e di verde caricato dell'arma sopra descritta ed ornato di fregi d'argento.

## Società
### Evoluzione demografica

Abitanti censiti

### Tradizioni e folclore

* Festa di Maria SS. del rovo, con processione l'ultima domenica di maggio.
* Festa di San Rocco, patrono di Labico, con processione il sabato che precede l'ultima domenica di agosto.

## Infrastrutture e trasporti
### Strade

Il comune è attraversato dalla ex Strada statale 6 Via Casilina (SR 6).

### Ferrovie

La località è servita dalla Stazione di Labico posta sulla linea Roma – Napoli (via Cassino) (FL6) e servita da treni regionali Trenitalia svolti nell'ambito del contratto di servizio stipulato con la Regione Lazio.

## Amministrazione

Nel 1872 Lugnano cambia denominazione in Lugnano Labicano, che nel 1880 cambia denominazione in Labico.
| Periodo | Periodo | Primo cittadino | Partito | Carica |
| 16 novembre 1997 | 26 maggio 2002 | Alfredo Galli | lista civica Rinnovare per Labico | Sindaco |
| 27 maggio 2002 | 28 maggio 2007 | Alfredo Galli | lista civica Rinnovare per Labico | Sindaco |
| 29 maggio 2007 | 6 maggio 2012 | Andrea Giordani | lista civica Rinnovare per Labico | Sindaco |
| 7 maggio 2012 | 10 giugno 2017 | Alfredo Galli | lista civica Rinnovare per Labico | Sindaco |
| 11 giugno 2017 | in carica | Danilo Giovannoli | lista civica Labico Bene Comune | Sindaco |

## Sport
### Pallavolo

* Eldis Volley Labico che nel 2019-2020 milita nel campionato femminile di Serie C.
# Castel Merlino

Castel Merlino a Verolanuova fu un’antica residenza della famiglia Gambara.

## Storia

Di origine medioevale, fu costruito probabilmente tra il XI e il XIII secolo.

## Descrizione

La forma originale non è nota, ma si può osservare che nelle mappe del Catasto Napoleonico ha una forma ad “U” con un cortile posto a Nord dove, in centro, si trova un pozzo presente tutt'oggi. Il castello era un tempo delimitato da un fossato di forma quadrangolare attualmente occupato da arbusti e cespugli. L’esterno in laterizio non mostra più la presenza di feritoie o merlature, ma è scandito da sette finestre per piano aperte in epoca più recente, mentre rimane evidente la presenza di un antico ponte levatoio, oggi sostituito da uno in muratura, per la presenza delle aperture che ospitavano i bolzoni. Il castello ha subito molte modifiche nel corso dei secoli e si presenta oggi in cattivo stato.
Il suo nome probabilmente deriva dall'apprezzamento che alcuni membri della famiglia Gambara avevano per i poemi cavallereschi (basti pensare ai nomi di alcuni componenti della famiglia, per esempio Lancillotto Gambara figlio del conte Pietro e di Briseide Verzelino Visconti, o Ginevra Nogarola donna di lettere, moglie di Brunoro Gambara).
# Keijirō Ogawa

Keijirō Ogawa (小川慶治朗, Ogawa Keijirō; Osaka, 14 luglio 1992) è un calciatore giapponese, centrocampista o attaccante dello Yokohama FC.

## Carriera

Dalla stagione 2010 milita nel Vissel Kōbe, sodalizio della massima serie calcistica giapponese.

## Palmarès
### Club
#### Competizioni nazionali

* Coppa dell'Imperatore: 1
    Vissel Kōbe: 2019
* Supercoppa del Giappone: 1
    Vissel Kōbe: 2020
# Die Kwannon von Okadera

Die Kwannon von Okadera è un film muto del 1920 diretto da Carl Froelich.

## Produzione

Il film fu prodotto dall'Uco-Film GmbH.

## Distribuzione

Distribuito dalla Decla-Bioscop AG, il film fu presentato a Berlino il 2 dicembre 1920.
# Modello di Babcock

Il modello di Babcock (o modello di Babcock-Leighton) è una formulazione teorica per spiegare le variazioni cicliche del numero delle macchie solari e del campo magnetico del Sole.

## Storia

La moderna comprensione delle macchie solari ha inizio con George Ellery Hale, che nel 1908 scoprì i campi magnetici nelle macchie solari. Hale suggerì per la variazione del numero delle macchie solari un ciclo di 22 anni, che copriva due periodi consecutivi di inversione della polarità del campo di dipolo magnetico del Sole.
Nel 1961, Horace W. Babcock ha proposto un modello qualitativo per la dinamica solare, che prevede una periodicità quasi stazionaria di 22 anni nell'oscillazione del campo magnetico solare. Questa oscillazione è conosciuta come ciclo di Babcock-Leighton della dinamo solare, e descrive lo scambio oscillatorio di energia tra la componente poloidale e toroidale del campo di dipolo magnetico del Sole.

## Il ciclo della dinamo di Babcock-Leighton

Il ciclo undecennale delle macchie solari è la metà dei 22 anni del Modello di Babcok del ciclo della dinamo solare, che corrisponde ad uno scambio dell'oscillazione di energia tra il campo magnetico toroidale e poloidale del Sole. In corrispondenza di un massimo solare, il campo magnetico dipolare esterno poloidale è vicino alla forza minima del suo ciclo, mentre il campo quadrupolare toroidale, generato attraverso la rotazione differenziale all'interno della tachocline, è in prossimità della sua massima forza.
A questo punto del ciclo della dinamo, la risalita per galleggiamento all'interno della zona convettiva produce la fuoriuscita del campo magnetico toroidale attraverso la fotosfera, dando origine a una coppia di macchie solari, grossolanamente allineate in senso est-ovest e con polarità magnetiche opposte. La polarità magnetica delle coppie di macchie si alterna ad ogni ciclo solare, fenomeno noto come ciclo di Hale.
Durante la fase declinante di un ciclo solare, l'energia si sposta dal campo magnetico toroidale interno a quello poloidale esterno, e le macchie solari diminuiscono di numero. Al minimo solare, il campo toroidale è al suo minimo, le macchie sono relativamente rare, mentre il campo poloidale è al suo massimo. Nel ciclo undecennale successivo, la rotazione differenziale sposta nuovamente l'energia magnetica dal campo poloidale a quello toroidale, con una polarità che è opposta rispetto al ciclo precedente. Il processo va avanti in continuazione con uno scenario idealmente di 11 anni, che corrispondono all'inversione di polarità del campo magnetico solare.
# Wuḍūʾ

Il wuḍūʾ (in arabo ﻭﺿﻮء‎) è il lavaggio minore che ogni musulmano deve adempiere prima di effettuare un atto rilevante sotto il profilo sciaraitico. Fra questi il più frequente è la ṣalāt, prima di adempiere la quale si deve necessariamente conseguire lo stato di purità rituale (ṭahāra).
L'Islam raccomanda anche di effettuare il wuḍūʾ prima di addormentarsi, di leggere il Corano o d'invocare Allah, oltre ad altri atti cerimoniali, quali la circumambulazione attorno alla Kaʿba.
Le abluzioni minori (conseguibili normalmente con l'acqua, ma sostituibili in caso d'emergenza con polvere, sabbia o calce muraria) seguono di norma il sottostante ordine:
* Cominciare con la formula in cui si esprime mentalmente l'intenzione ( niyya ), proseguendo col dire : "Bismillāh, al-Rahmān, al-Rahīm", che significa: "In nome di Allāh, Clemente, Misericordioso".
* Lavarsi le mani fino ai polsi (3 volte).
* Sciacquarsi la bocca (3 volte).
* Lavarsi l'interno del naso (aspirando ed espellendo l'acqua) (3 volte).
* Sciacquarsi il viso (3 volte).
* Lavarsi dalle mani fino ai gomiti (3 volte).
* Strofinarsi, ma una sola volta, i capelli, poi le orecchie e il condotto uditivo (con le dita umide d'acqua.)
* Lavarsi i piedi fino alle caviglie (3 volte).
* Recitare la seguente shahāda:
"Testimonio che non v'è divinità se non Allāh, l'Unico, che non ha associati e attesto che Muhammad è il Suo servo e il Suo Messaggero". Ashhadu an lā ilāha illā Allāhu, wa ashhadu anna Muhammadan rasūlu llah. أَشْهَدُ أَنْ لَا إِلَهَ إِلَّا اللَّه، وَأَشْهَدُ أَنَّ مُحَمَّدًا رَسُولُ اللَّه
Altre formule addizionali e facoltative sono:
"O Signore! Ponimi nel numero di coloro che si pentono e che si purificano". Allāhumma ajʿalnî min al-tawwābīn wa ajʿalnī min al-mutaṭahhirīn. اللّهُـمَّ اجْعَلنـي مِنَ التَّـوّابينَ وَاجْعَـلْني مِنَ المتَطَهّـرين الله أكبر
"Gloria a Te Signore, e per la Tua lode, io attesto che non v'è divinità all'infuori di Te. Ti domando perdono e mi pento presso di Te". Subhānaka ʾllāhumma wa bi-hamdika. Ashhadu an lā ilāha illā anta, astaghfiruka wa atūbu ʿilayka. سُبْحانَكَ اللّهُمَّ وَبِحَمدِك أَشْهَدُ أَنْ لا إِلهَ إِلاّ أَنْتَ أَسْتَغْفِرُكَ وَأَتوبُ إِلَيْك
# Laerru

Laerru (Laèrru in sardo) è un comune italiano di 804 abitanti della provincia di Sassari, della regione dell'Anglona.

## Origini del nome

Il nome, molto probabilmente, deriva dal latino alaternus, che significa alaterno, arbusto sempreverde tipico del luogo.

## Storia

È un paese di origine antichissima che si trova nel cuore della regione storica dell'Anglona.
L'area fu abitata già nel paleolitico inferiore, in epoca prenuragica e nuragica e poi in epoca romana. Si trovano numerose testimonianze archeologiche risalenti a queste epoche, tra cui Dolmen, tombe dei giganti, domus de janas, nuraghi e tombe romane.
Nel medioevo fece parte del Giudicato di Torres, nella curatoria dell'Anglona. Alla caduta del giudicato (1259) passò ai Malaspina, ai Doria e successivamente (intorno al 1450) agli Aragonesi. Nel XVIII secolo il paese venne incorporato nel principato d'Anglona, sotto la signoria prima dei Pimentel e poi dei Tellez-Giron d'Alcantara, ai quali fu riscattato nel 1839 con la soppressione del sistema feudale.

### Simboli

Lo stemma e il gonfalone del comune di Laerru sono stati concessi con decreto del presidente della Repubblica del 2 settembre 1998.
Nello stemma sono raffigurati la lettera L, iniziale del nome del Comune, una bilancia dorata che ricorda la storica appartenenza di Laerru al giudicato di Torres e un fascio di spighe per la grande importanza che nella vita economica locale hanno sempre avuto le attività agricole. Il gonfalone è un drappo di giallo bordato di azzurro.

## Società
### Evoluzione demografica

Abitanti censiti

### Lingua e dialetti

La variante del sardo parlata a Laerru è quella logudorese settentrionale.

## Infrastrutture e trasporti
### Ferrovie

Nel comune è presente una stazione ferroviaria posta lungo la ferrovia Sassari-Tempio-Palau, linea utilizzata in questo tratto sino al 1997 per i servizi di trasporto pubblico e successivamente per esclusivi impieghi turistici legati al Trenino Verde.

## Amministrazione

| Periodo | Periodo | Primo cittadino | Partito | Carica |
| 23 aprile 1995 | 16 aprile 2000 | Giuseppe Gavino Fraoni | Centro | Sindaco |
| 16 aprile 2000 | 8 maggio 2005 | Giuseppe Gavino Fraoni | lista civica | Sindaco |
| 8 maggio 2005 | 30 maggio 2010 | Francesco Fraoni | lista civica | Sindaco |
| 30 maggio 2010 | 31 maggio 2015 | Pietro Moro | lista civica "Tradizione e Innovazione" | Sindaco |
| 31 maggio 2015 | 26 ottobre 2020 | Pietro Moro | lista civica "Tradizione e Innovazione" | Sindaco |
| 26 ottobre 2020 | in carica | Massimiliano Leonardo Manca | lista civica "Amministrare insieme" | Sindaco |
# Esperanto (nave cargo)

Piccola nave da carico, di 209 t, costruita nel 1906 dall'armatore inglese J. H. Beckwith & Co., di Londra, con il nome di Prompt. Acquisita nel 1910 dalla francese Compagnie Générale Transatlantique (detta anche C.ie G.le Transatlantique o Transat), fu rinominata Esperanto ed inviata nelle Antille.
Requisita il 29 agosto 1939, fu utilizzata come pattugliatore a Fort-de-France in Martinica, con un equipaggio della Marine Nationale francese. Quando anche le Indie Occidentali passarono sotto il controllo delle Forces navales françaises libres del Comité Français de la Libération Nationale di Algeri, il 14 luglio 1943, fu lasciata dagli Alleati a disposizione delle locali autorità francesi.
Le requisizione militare finì il 31 gennaio 1944. Demolita nel 1945.
# Il generale York

Il generale York (titolo originale Yorck) è un film di guerra tedesco del 1931 diretto da Gustav Ucicky e interpretato da Werner Krauss, Grete Mosheim e Rudolf Forster.

## Trama

Descrive la vita del generale prussiano Ludwig Yorck von Wartenburg, in particolare il suo rifiuto di prestare servizio nell'esercito di Napoleone durante l'invasione francese della Russia nel 1812. Il film faceva parte di un ciclo realizzato durante l'era prussiana e incentrato sulla storia della Prussia.
I set del film vennero progettati da Robert Herlth e Walter Röhrig. Il film è stato girato nello Studio Babelsberg di Potsdam e in una location nei dintorni di Berlino.
# Anita Gillette

Anita Gillette nata Luebben (Baltimora, 16 agosto 1936) è un'attrice statunitense.

## Biografia

Anette Luebben nacque a Baltimora, Maryland, da Juanita Wayland e John Alfred Luebben. Cresciuta in un sobborgo di Rossville, sempre nel Maryland, si diplomò alla Kenwood High School.
Studiò al "Peabody Conservatory" e successivamente fece il suo debutto a Broadway nel musical Gypsy: A Musical Fable nel 1959, seguito da Carnival!, All American, Mr. President, Kelly, Jimmy, Guys and Dolls, Don't Drink the Water, Cabaret, They're Playing Our Song, Brighton Beach Memoirs, e Chapter Two, per il quale ottenne una candidatura al Tony Award alla miglior attrice protagonista in un'opera teatrale.
L'attrice cominciò poi a lavorare in televisione, apparendo in The Ed Sullivan Show nel 1963. Si aggiunse al cast di Ai confini della notte nel 1967. Recitò poi in What's My Line?, Match Game, e partecipò al gioco televisivo Pyramid.
Negli anni '70 recitò in Bob & Carol & Ted & Alice con Robert Urich e Jodie Foster.
Negli anni '80 partecipò all'ultima stagione di Quincy, e ottenne un ruolo in Aspettando il domani.
Recitò anche in diversi film come Stregata dalla luna (1987), A proposito di donne (1995), Shall We Dance? (2004), e altri ancora.
Ha recitato nelle serie TV 30 Rock, Law & Order - Unità vittime speciali e in CSI - Scena del crimine dal 2005 al 2012.

## Filmografia
### Cinema

* Stregata dalla luna (Moonstruck), regia di Norman Jewison (1987)
* Bob Roberts, regia di Tim Robbins (1992)
* A proposito di donne (Boys on the Side), regia di Herbert Ross (1995)
* Per amore di Vera (Larger Than Life), regia di Howard Franklyn (1996)
* Il senso dell'amore (She's the One), regia di Edward Burns (1996)
* Il guru (The Guru), regia di Daisy von Scherler Mayer (2002)
* Shall We Dance?, regia di Peter Chelsom (2004)
* The Last Adam, regia di Edford Banuel Jr. (2006)
* She & He, regia di Greg Bourbeau (2007)

### Televisione

* Io e la scimmia (Me and the Chimp) – serie TV, 13 episodi (1972)
* Terrore a Lakewood (It Happened at Lakewood Manor), regia di Robert Scheerer (1977) - film TV
* Quincy (Quincy, M.E.) - serie TV, 17 episodi (1979-1983)
* Quasi adulti (Almost Grown) – serie TV, 13 episodi (1988-1989)
* Sex and the City – serie TV, episodio 3x15 (2000)

## Doppiatrici italiane

Nelle versioni in italiano delle opere in cui ha recitato, Anita Gillette è stata doppiata da:
* Lorenza Biella in CSI - Scena del crimine, Blue Bloods
* Maria Teresa Letizia in Quincy
* Gabriella Genta in A proposito di donne
* Angiolina Quinterno in Shall We Dance?
* Vittoria Febbi in Cold Case - Delitti irrisolti
* Melina Martello in Elementary
# Atletica leggera ai Giochi della XXIV Olimpiade - 200 metri piani maschili

I 200 metri piani hanno fatto parte del programma maschile di atletica leggera ai Giochi della XXIV Olimpiade. La competizione si è svolta nei giorni 26-28 settembre 1988 allo Stadio olimpico di Seul.

## Presenze ed assenze dei campioni in carica

| Competizione | Atleta | Prestazione | Seul 1988 |
| Olimpiadi 1984 | Carl Lewis | 19”80 | Presente |
| Commonwealth 1986 | Atlee Mahorn | 20”31 | Presente |
| Goodwill Games 1986 | Floyd Heard | 20”12 | 8° ai Trials |
| Europei 1986 | Vladimir Krylov | 20”52 | Presente |
| Asiatici 1986 | Jang Jae-keun | 20”71 | Presente |
| Panamericani 1987 | Floyd Heard | 20”25 | 8° ai Trials |
| Africani 1987 | Simon Kipkemboi | 20”90 | Presente |
| Mondiali 1987 | Calvin Smith | 20”16 | 5° ai Trials |

## La gara

Pietro Mennea passa il primo turno, ma non scende in pista al turno successivo, i quarti di finale. Diventa il primo velocista capace di partecipare a cinque giochi olimpici.
In finale, Joe DeLoach, talento scoperto da "re" Carl Lewis, poi rivelatosi una meteora, disputa la gara della vita: con una curva perfetta tiene il connazionale sempre qualche centimetro dietro per poi staccarlo negli ultimi metri. Lewis perde così la possibilità di conquistare quattro ori, come gli era riuscito quattro anni prima a Los Angeles. Il record olimpico di De Loach è la seconda migliore prestazione di sempre ed eguaglia il record di Carl Lewis ai Trials del 1983, a soli tre centesimi dal record del mondo dello stesso Mennea.

## Risultati
### Turni eliminatori

| 10 Batterie | 26 settembre | 76 partenti | Si qualificano i primi 4. |
| 5 Quarti di finale | 26 settembre | 8 + 8 + 8 + 8 + 8 | Si qualificano i primi 3 + il miglior tempo. |
| 2 Semifinali | 28 settembre | 8 + 8 | Si qualificano i primi 4. |
| Finale | 28 settembre | 8 concorrenti | |

### Finale

| Posizione | Atleta | Nazionalità | Tempo |
| | Joe DeLoach | Stati Uniti | 19”75 |
| | Carl Lewis | Stati Uniti | 19”79 |
| | Robson da Silva | Brasile | 20"04 |
| 4 | Linford Christie | Regno Unito | 20"09 |
| 5 | Atlee Mahorn | Canada | 20"39 |
| 6 | Gilles Quénéhervé | Francia | 20"40 |
| 7 | Michael Rosswess | Regno Unito | 20"51 |
| 8 | Bruno Marie-Rose | Francia | 20"58 |
Ai controlli antidoping, nelle urine di Linford Christie, quarto classificato (20"09), vengono ritrovate tracce di pseudoefedrina. Il CIO, chiamato a decidere sul suo caso, sceglie di credere alla sua versione, secondo cui la sostanza è una componente del tè al ginseng che ha bevuto a Seul. Secondo alcune fonti, Christie fu prosciolto per l'intervento diretto della principessa reale, e influente membro del CIO, Anna d'Inghilterra.
# Assioma di regolarità

Nella teoria degli insiemi, l'assioma di regolarità (noto anche come assioma della fondatezza o assioma di fondazione) è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nel linguaggio formale degli assiomi di Zermelo-Fraenkel l'assioma si scrive:
    $\forall A:A\neq \emptyset \Rightarrow \exists B:B\in A\land \lnot \exists C:C\in A\land C\in B$
Oppure a parole:
    Ogni insieme non vuoto A contiene un elemento B disgiunto da A.
Due risultati che seguono dall'assioma sono "nessun insieme è un elemento di sé stesso" e "non esiste una successione infinita (a$_n$) tale che a$_{i+1}$ è un elemento di a$_i$ per ogni i".
Assieme all'assioma della scelta, questo risultato può essere invertito: se non esistono successioni infinite di quel tipo, allora l'assioma di regolarità è vero. Quindi le due affermazioni sono equivalenti.
Vi sono teorie degli insiemi non standard che, oltre ad omettere l'assioma di regolarità, hanno addirittura postulato l'esistenza di insiemi che sono elementi di sé stessi.
Inoltre, tutti i risultati della matematica ordinaria continuano a valere anche in assenza di tale assioma, a patto di restringerli ai soli insiemi ben fondati.

## Implicazioni elementari

L'assioma di regolarità implica che nessun insieme è elemento di sé stesso
Sia A un insieme tale che A sia un elemento di sé stesso e definiamo l'insieme B = {A}, che esiste per l'assioma della coppia. Applicando l'assioma di regolarità a B, vediamo che l'unico elemento di B, vale a dire A, deve essere disgiunto da B. Ma l'intersezione di A e B è proprio A. Quindi B non soddisfa l'assioma di regolarità e abbiamo una contraddizione, dimostrando che A non può esistere.
L'assioma di regolarità implica che non esiste nessuna successione infinita discendente di insiemi.
Sia f una funzione dei numeri naturali tale che f(n+1) sia un elemento di f(n) per ogni n. Definiamo S = {f(n): n numero naturale} come l'immagine di f, che può essere vista come insieme dalla definizione formale di funzione. Applicando l'assioma di regolarità ad S, sia f(k) un elemento di S disgiunto da S. Ma per la definizione di f e S, f(k) e S hanno un elemento in comune (vale a dire f(k+1)). Abbiamo una contraddizione, quindi non esiste tale f.
Assumendo l'assioma della scelta, l'assenza di successioni infinite discendenti implica l'assioma di regolarità
Sia l'insieme non vuoto S un controesempio dell'assioma di regolarità; cioè, ogni elemento s di S ha un'intersezione non vuota con S. Sia T un insieme che ha come membri S e, per ogni elemento s di S, l'intersezione tra quest'elemento e S. Sia g una funzione di scelta per T, cioè un'applicazione tale che g(t) è un elemento di t per ogni insieme t appartenente a T. Ora definamo ricorsivamente la funzione f sugli interi non negativi come segue:
    $f(0)=g(S)$
    $f(n+1)=g(f(n)\cap S).$
Allora per ogni n, f(n) è un elemento di T e anche di S, cosicché l'intersezione di f(n) con S è non vuota, quindi f(n+1) è ben definita ed è un elemento di f(n). Allora i valori di f formano un'infinita catena discendente. Questa è una contraddizione, quindi non esiste tale S.