Wkład użytkownika 95.160.37.2
Wygląd
Dla użytkownika 95.160.37.2 dyskusja blokady rejestry rejestr nadużyć
12 gru 2013
- 12:0312:03, 12 gru 2013 różn. hist. +1 Twierdzenie Löwenheima-Skolema →Istnienie modelu nieskończonego: http://www.mimuw.edu.pl/~urzy/calosc.pdf strona 59. W drugą stronę to też jest prawda, ale byłby to tylko prosty fakt z teori mnogości, a nie twierdzenie. Znacznik: VisualEditor