Dowodzenie zbiorów Tensor: Jak udowodnić, że nie istnieje zbiór, do którego należą wszystkie zbiory dwuelementowe?

Pan Kalafior: Załóżmy że taki zbiór istnieje. Wtedy z aksjomatu sumy, jego suma istnieje, i jest zbiorem. Wtedy z aksjomatu podzbiorów, istnieje jego podzbiór, złożony ze wszystkich tych elementów, które są zbiorami. Ale to znaczy, że istnieje zbiór, który zawiera wszystkie zbiory. To jest oczywiście niemożliwe z aksjomatu regularności.

Pan Kalafior: A, no i jeszcze po drodze użyty aksjomat pary.