Metoda przekątniowa aaa: Udowodnij, stosując metodę przekątniową, że dla każdego nieskończonego ciągu {x_n}∊X^ℕ istnieje element z∊X \ {x_n:n∊ℕ}. X jest zbiorem wszystkich podzbiorów liczb nieparzystych.