Traductions de „aksjomatyczny“ dans le dictionnaire polonais » allemand

aksjomatyczny [aksjomatɨtʃnɨ] ADJ sout

aksjomatyczny

axiomatisch

system aksjomatyczny

axiomatisches System nt

Expressions couramment utilisées avec aksjomatyczny

system aksjomatyczny

axiomatisches System nt

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

polonais

Metoda aksjomatyczna, system aksjomatyczno-dedukcyjny – rozumowanie wywodzące twierdzenia ze zbioru aksjomatów.

pl.wikipedia.org

Uznał to za przezwyciężenie sceptycyzmu, który wątpi we wszystko i stworzenie aksjomatycznej podstawy dla absolutnego systemu.

pl.wikipedia.org

Na gruncie naiwnej (nieaksjomatycznej) teorii mnogości stwierdza się, że liczba kardynalna to klasa równoważności relacji równoliczności zbiorów.

pl.wikipedia.org

Teoria aksjomatyczna rozwijała się i dostarczała matematyce kolejnych osiągnięć.

pl.wikipedia.org

Dlatego istnienie i jednoznaczność łatwiej uzyskać na podstawie opisu aksjomatycznego, co opisuje następna sekcja.

pl.wikipedia.org

Teoria modeli (nazywana też semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.

pl.wikipedia.org

Jedną z istotnych jej cech jest rozróżnienie między rozumowaniami prowadzonymi wewnątrz danej sformalizowanej teorii aksjomatycznej a rozumowaniami prowadzonymi na zewnątrz niej.

pl.wikipedia.org

Jest użyteczna w tworzeniu systemów aksjomatycznych pewnych teorii, bowiem funkcja jest wtedy pojęciem pochodnym względem aksjomatyki teorii mnogości.

pl.wikipedia.org

Pojęcie pary uporządkowanej, intuicyjnie oczywiste, sprawia poważne trudności przy próbach zdefiniowania go w terminach aksjomatycznej teorii mnogości.

pl.wikipedia.org

Do zagadnień metamatematyki należy m.in. analizowanie takich własności teorii aksjomatycznych, jak niesprzeczność, rozstrzygalność, modele, interpretacje jednej teorii w drugiej.

pl.wikipedia.org