Прошлые домены больше не функционируют, используйте адрес
ARHIVACH.HK.
24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
То есть рассказать, что такое "система вещей" по Гильберту, что такое аксиомы.
Далее нужно ввести элементы логики.
Объяснить, что такое предикат, что такое функциональный символ, что такое квантор и т.д.
Теория множеств вводится так.
Существует система вещей, называемых множествами.
Для них задано логическое отношение "быть элементом".
Всякая вещь A либо является элементом вещи B, либо не является.
Кроме того, для этих вещей задано отношение равенства с традиционными свойствами:
рефлексивность, симметричность, транзитивность, подстановочность.
Далее нужно дать несколько определений.
1. Множество называется пустым, если никакое множество не является его элементом.
2. Множество называется индуктивным, если хотя бы одно пустое множество является его элементом и если оно вместе с каждым элементом x содержит элемент {x}.
3. A называется подмножеством B, если всякий элемент A является элементом B.
В таком случае B называется надмножеством A.
4. Вместо того, чтобы говорить "множество множеств", мы часто будем говорить "семейство множеств".
5. Пусть M - семейство. A называется объединением M, если каждое множество из M - подмножество A и каждый элемент A - элемент хотя бы одного элемента M.
6. Семейство называется регулярным, если в нём есть такое множество, что каждый его элемент не входит в семейство.
7. Непустое C называется неупорядоченной парой A и B, если каждый элемент C равен либо A, либо B.
8. Пусть A и M множества.
Пусть каждое подмножество A является элементом M.
Пусть каждый элемент M является подмножеством A.
Тогда M называется "булеан A" или "множество всех подмножеств A".
9. Пусть M - множество, P - высказывание о его элементах, N - подмножество M.
Мы говорим, что N удовлетворяет P, если для всякого n из N высказывание P(n) истинно.
10. Пусть, в тех же обозначениях, N удовлетворяет P.
Пусть любое подмножество M, которое удовлетворяет P, является подмножеством N.
Мы говорим, что P выделяет множество N из множества M.
Или что N выделено предикатом P из M.
11. Пусть f - функциональный символ от двух аргументов.
Если вещь можно подставить в этот символ в качестве первого аргумента, то мы говорим, что функциональный символ осмыслен на этой вещи.
Мы говорим, что функциональный символ корректен на множестве M, если функциональный символ осмыслен на каждом элементе M.
Мы говорим, что функциональный символ является истинным функциональным высказыванием об M, если он корректен на M.
12. Мы говорим, что функциональный символ f, корректный на M, преобразует множество M во множество N, если
а) для всякого m из M существует единственный n из N такой, что f(m, n) истинно
б) для всякого n из N существует элемент m из M такой, что f(m, n) истинно
13. Пусть есть функциональный символ, корректный на M. Пусть существует такое N, что f преобразует M в N.
Тогда мы говорим, что f является преобразованием M.
Далее нужно сказать, что вещи нашей системы подчиняются следующим аксиомам (Цермело-Френкеля с выбором).
1. Два множества равны тогда и только тогда, когда первое является подмножеством второго и второе является подмножеством первого.
2. Для всякого множества всякое высказывание о его элементах выделяет подмножество.
3. Существует пустое множество.
4. Существует индуктивное множество.
5. Для любых двух множеств, не обязательно разных, существует неупорядоченная пара.
6. Для всякого множества существует булеан.
7. Для всякого семейства множеств существует объединение.
8. Всякое истинное функциональное высказывание о множестве является преобразованием множества.
9. Всякое непустое семейство регулярно.
10. Для всякого семейства непустых множеств существует множество, содержащее ровно по одному элементу из каждого множества семейства.
Прошлый: