niesprzeczność <род. ‑ści, мн. отсут.
> [ɲespʃetʃnoɕtɕ] СУЩ. ж. ФИЛОС. МАТЕМ.
- niesprzeczność teorii
-
PONS OpenDictДобавить статью
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры из словаря PONS (редакционная проверка)
- niesprzeczność teorii
Одноязычные примеры (не проверены редакцией PONS)
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