Tłumaczenia dla hasła „niesprzeczność“ w polsko » niemiecki słowniku

niesprzeczność <D. ‑ści, bez l.mn. > [ɲespʃetʃnoɕtɕ] RZ. r.ż. FIL. MAT.

niesprzeczność teorii

widerspruchsfreie Theorie r.ż.

Przykładowe zdania ze słowem niesprzeczność

niesprzeczność teorii

widerspruchsfreie Theorie r.ż.

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

polski

Niesprzeczność jest dla intuicjonistów warunkiem koniecznym istnienia, ale nie warunkiem wystarczającym – byt matematyczny musi oprócz tego zostać skonstruowany.

pl.wikipedia.org

Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.

pl.wikipedia.org

Pomimo iż niesprzeczność można wykazać za pomocą teorii modeli, to często robi się to, opierając się wyłącznie na syntaktyce, bez odnoszenia się do modeli.

pl.wikipedia.org

Tak więc niesprzeczność dostatecznie bogatej, efektywnej, niesprzecznej teorii arytmetyki nigdy nie może zostać udowodniona w ramach takiej teorii.

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