Ĕнентерме май çук каланăлăхсем
Ĕнентерме май çук каланăлăхсем —  харпăр теори ăшĕнче ни  ĕнентерме, ни хирĕçлеме май çук каланăлăх. Гёделĕн туллимарлăх теоремипе килĕшÿллĕн, кашни самаях кăткăс тата хирĕçÿлĕхсĕр, формаллĕ арифметика пур теорирех ĕнентерме çук  [тата унра хиреçленейми] каланăлăх пур. Çав вăхăтрах кунашкал ансат каланăлăхсене тупса вĕсен ĕнентереймилĕхне ĕнентересси кăткăс тĕллевчĕк пулса тăрать.

Унашкал тупса палăртнă каланăлăхсенчен чи паллисем çаксем:
 Евклидăн 5-мĕш постулатне классикăлла геометрин ытти аксиомисемпе ĕнентерме çук
 Суйлав аксиоми тата континуум-гипотеза, вĕсене  Цермело — Франкель аксиоматикипе ĕнентерме çук (ZF).
 Париса–Харрингтон теореми, ăна Пеано арифметикипе ĕнентерме çук.

Çавăн пекех
Ĕнентерӳ (математика)
Аксиома
Теорема

Каçăсем
Академик Ю. Л. Ершов «Доказательность в математике»,
телепрограмма «Гордон»(Диалоги) от 16 июня 2003 года

Математикăлла логика