"

 Valinnan aksiooma 

Ah, ymmärrän.  Anteeksi siitä!  Ehkä meidän pitäisi mainita se artikkelissa (""Jos lisäämme lisäyksen, että S on kaikkien ensimmäisen kertaluvun lauseiden joukko, tuloksena oleva heikompi lausuma vastaa sen sijaan BPI/UltrafilterLemmaa"")?")?   "