Ĕнентерме Май Çук Каланăлăхсем
Ĕнентерме май çук каланăлăхсем — харпăр теори ăшĕнче ни ĕнентерме, ни хирĕçлеме май çук каланăлăх.
Гёделĕн туллимарлăх теоремипе килĕшÿллĕн, кашни самаях кăткăс тата хирĕçÿлĕхсĕр, формаллĕ арифметика пур теорирех ĕнентерме çук [тата унра хиреçленейми] каланăлăх пур. Çав вăхăтрах кунашкал ансат каланăлăхсене тупса вĕсен ĕнентереймилĕхне ĕнентересси кăткăс тĕллевчĕк пулса тăрать.
Унашкал тупса палăртнă каланăлăхсенчен чи паллисем çаксем:
- Евклидăн 5-мĕш постулатне классикăлла геометрин ытти аксиомисемпе ĕнентерме çук
- Суйлав аксиоми тата континуум-гипотеза, вĕсене Цермело — Франкель аксиоматикипе ĕнентерме çук (ZF).
- Париса–Харрингтон теореми, ăна Пеано арифметикипе ĕнентерме çук.
Çавăн пекех
Каçăсем
- Академик Ю. Л. Ершов «Доказательность в математике»,
телепрограмма «Гордон»(Диалоги) от 16 июня 2003 года
 | Ку математикăпа вĕçлемен статья. Эсир статьяна тӳрлетсе тата хушса проекта пулăшма пултаратăр. |
This article uses material from the Wikipedia Чăваш article Ĕнентерме май çук каланăлăхсем, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Урăххине кăтартман пулсан ку материал CC BY-SA 4.0 лицензипе килĕшӳллĕн сарăлать. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Чăваш (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.