(mat.) aksjomat sformułowany 1904 przez E.Zermelo (oraz B. Russella) mówiący, że z każdego niepustego zbioru z rodziny zbiorów rozłącznych R można wybrać po jednym elemencie (dla każdej takiej rodziny istnieje więc zbiór mający dokładnie 1 element wspólny z każdym zbiorem tej rodziny); a.w. jest używany w teorii mnogości; K. Gödel 1938 udowodnił niesprzeczność a.w. z pozostałymi aksjomatami teorii mnogości, co zakończyło wcześniejsze spory na temat jego prawdziwości i wartości poznawczej; a.w. zajmowali się m.in. H. Poincaré, E. Borel, H. Lebesque oraz W. Sierpiński i S. Banach.
WYBORU AKSJOMAT
Nauki ścisłe