Istnienie obiektu definiowanego

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
NauczycielMatematyki
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 5 gru 2018, o 08:47
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 5 razy

Istnienie obiektu definiowanego

Post autor: NauczycielMatematyki »

Witajcie,
mam pewne pytanie, bo wyczytałem, że jeżeli definiujemy w matematyce jakiś obiekt, to musi spełniać warunek jednoznaczności i warunek istnienia.
Tego drugiego warunku nie rozumiem. Co to właściwie znaczy, że obiekt abstrakcyjny (bo i takie są definiowane) musi istnieć?
Z góry dziękuję za odpowiedź, pozdrawiam.
krl
Użytkownik
Użytkownik
Posty: 609
Rejestracja: 10 lis 2009, o 22:39
Płeć: Mężczyzna
Lokalizacja: Wrocław
Pomógł: 135 razy

Re: Istnienie obiektu definiowanego

Post autor: krl »

To, że definiowany obiekt abstrakcyjny istnieje, należy rozumieć w ten sposób, że w teorii, w ramach której prowadzimy nasze rozważania, możemy udowodnić istnienie tego obiektu. (Nie należy mylić tego ze stwierdzeniem, że dany obiekt istnieje realnie.)
ODPOWIEDZ