Logika matematyczna P.: Punktem kratowym płaszczyzny (z ustalonym układem współrzędnych) nazywamy każdy taki jej punkt, którego obie współrzędne są liczbami całkowitymi. Udowodnij, że zbiór wszystkich prostych, z których każda prosta przechodzi przez co najmniej dwa punkty kratowe jest przeliczalny. Jak to zrobić? Co to w ogóle jest punkt kratowy? O co chodzi? Z jakich twierdzeń mam korzystać?

PW: A po co wpisujesz to samo dwa razy? 313610