Zapis symboliczny twierdzeń

[hubble]

W matematyce można zapisywać zdania za pomocą symboli np. kwantyfikatorów. Jak zapisać symbolicznie zdanie które jest aksjomatem Hilberta: "Dla dowolnych dwóch różnych punktów A, B istnieje co najwyżej jedna prosta zawierająca oba te punkty." Ja mam problem jak zapisać "co najwyżej jedna prosta".

[krl]

"istnieje co najwyżej jedna prosta" to to samo co "nie istnieją dwie różne proste".