Logika matematyczna M.: Mam zadanie z logiki matematycznej.Jak to zrobić? O co chodzi? Z jakich twierdzeń mam korzystać? 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. Co to w ogóle jest punkt kratowy?

PW: Rany, przecie w treści zadania jest podana definicja punktu kratowego.