tgoop.com/logic_metamathematics/930
Last Update:
Предметные области и интерпретации в теории моделей.
Для обозначения количества объектов (предметов) рассматриваемой предметной области мы используем количественные числительные - в естественном языке это слова, обозначающие количество предметов, а в арифметике - это символы, их заменяющие - натуральные числа. Представление об определенном количестве предметов рассматриваемой предметной области мы получаем обычно благодаря их пересчету. При пересчёте мы используем порядковые числительные, для записи которых также используем натуральные числа.
Заметим, что символизм записи натуральных чисел с помощью цифр выбранных систем счисления, в отличие от естественного языка, не отражает вышеуказанного различия числительных.
Например. Количественные числительные: один, два, три, ..., две тысячи двадцать пять и тому подобные.
Порядковые числительные: первый, второй, третий, ..., две тысячи двадцать пятый и тому подобные.
В теории множеств количество элементов, входящих в данное множество, выраженное количественным числительным, называется мощностью множества. Можно также сказать, что количественное числительное - это ответ на вопрос: "Сколько...?", в нашем случае: "Сколько элементов входит во множество?"
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/930