Математика никĕслевĕсем

Математика никĕслевĕсем — математика пĕлĕвĕсене лайăх палăртнă тата йышлах та мар аксиомăсенчен логика йĕркевĕсемпе кăларас тĕллевпе ăсталанă тытăм (математикăлла система), — çавна май математика пĕлĕвĕсен шанчăклăхĕ гарантиленет. Математика никĕслевĕсем виçĕ компонентран тăраççĕ:

1. Урăх объектсем урлă палăртман чи никĕсле математикăлла объектсем пурри.
2. Чи никĕсле объектсем тĕлĕшпе аксиомăсем пурри.
3. Чăнлăхлă каланăлăхсенчен чăнлăхлă урăх каланăлăхсем тумалли логикăлла çирĕп йĕркевсем пурри.

Тимлĕхшĕн: "математика никĕслевĕсем" тенине кулленхи пурнăçра час-часах тĕл пулакан "математика никĕсĕсем" текен "ахаль" ăнлавпа пăтраштарма юрамасть!

Вуламалли

• Начала Евклида / Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского при редакционном участии М. Я. Выгодского и И. Н. Веселовского. — М.—Л.: ГТТИ, 1949—1951. — (Классики естествознания).
• Уайтхед А., Рассел Б. Основания математики: В 3 т / Под ред. Г. П. Ярового, Ю. Н. Радаева. — Самара: Самарский университет, 2005—2006. — ISBN 5-86465-359-4.
• Гильберт Д., Бернайс П. Основания математики. М.: Наука.
  • Том I. Логические исчисления и формализация арифметики. 1979, 560 c.
  • Том II. Теория доказательств. 1982, 656 с.
• Brouwer, Luitzen Egbertus Jan. Over de grondslagen der wiskunde. Academisch proefschrift, Maas & van Suchtelen, Amsterdam 1907 im Internet-Archiv, dito). Диссертация Брауэра «Об основаниях математики» (нид.).
  • Английский перевод: Brouwer L. E. J. Collected Works. Vol. 1: Philosophy and Foundations of Mathematics. — Amsterdam—Oxford, 1975. — 734 p. — ISBN 9781483257549.
• Клини С. К. Введение в метаматематику. — М.: Изд-во иностранной литературы, 1957. — 526 с.
• Френкель А. А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 555 с.