Wkład użytkownika 83.7.69.62
Wygląd
Dla użytkownika 83.7.69.62 dyskusja blokady rejestry rejestr nadużyć
25 wrz 2013
- 00:3700:37, 25 wrz 2013 różn. hist. 0 Aksjomaty Zermela-Fraenkla →Aksjomat nieskończoności: Zwiększenie czytelności - w pierwotnej wersji te same symbole w różnych miejscach odnoszą się do różnych kwantyfikatorów. Formalnie jest to poprawne, ale drastycznie zmniejsza czytelność.