.. СИСТ. Аксиом и определяются - Реальным СО-ПО-СТАВ-ЛЕ-НИ-ЕМ :
нашего представления(модели) об объекте - с самоё Реальным объектом . . .
.. каким образом происходит сопоставление? ...
Да самым обыкновенным высоконаучным Ообразом СЛЕПОГО ТЫ-ЫЫКА - и происходит пресловутое сопоставление ! ! !
Как только исследователь ТЫ-ЫЫКнулся во "что-то" - так оно ОБЯЗАТЕЛЬНО и выткнулось ему обратно . . .
Вы действительно затрудняетесь .. в любом учебнике дискретной математики , -[/size]
.. !
(которую Вы продолжаете игнорировать) .
Ну так приведите док..ство .. на основе тОй тавтологии. Ждемс. 
Ну так . . приводил же я Вам - доказательство . . ! ! !
В очередной раз объясняю : на основе тОй тавтологии - очень много разных непротиворечивых систем аксиом можно построить .
И САМОЕ ГЛАВНОЕ достоинство тОй тавтологии - что среди очень многих , но разных непротиворечивых систем аксиом : пытливый исследователь - ОБЯЗАТЕЛЬНО ОБНАРУЖИТ и тУ столь желанную систему аксиом , которой описывается(моделируется) . . и подсчитывание лап у собак , котов , и пр. живности . . и пр. и пр. и подсчитывание домов на соседней улице и т.д.
БОЛЕЕ ТОГО : из тОй таки тавтологии - мы получаем и МироВоззренческую Гарантию . . .
что ДЛЯ ЛЮБОГО объекта во вселенной(равно , как для ныне известного , так и для ещё не открытого) , . .
пытливый исследователь - ОБЯЗАТЕЛЬНО ОБНАРУЖИТ и тУ СО-ОТВЕТСТВУЮЩУЮ данному объекту систему аксиом ..
рассмотрим .. :
..., если N — подмножество G .., то N = G.
Эти аксиомы можно сравнить с арифметикой Пеано.
Третья аксиома аналогична по форме аксиоме индукции .., .. типа, ...
Если действительно - мы полагаем группу G конечной, - значит попросту .., НЕ МОЖЕТ ПОНАДОБИТЬСЯ бесконечно много времени !
Написано же "ее размер не задан" т.е. ... Вы могёте .. за конечное время? :lol:
Деточка .
1. А где это Вы нашли такое "определение" , будто . . .
все натуральные числа - конечное множество ? ? ?
2. А потому .. конечное множество - ПО ОПРЕДЕЛЕНИЮ . . .
Вы могёте перечислить - за конечное время ! ! ! :lol:
Вы видимо не поняли ...
Смысл в том .. что число простых групп конечно, .. - это группа, не имеющая нормальных делителей, т.е. других гомоморфных образов, кроме тождественного и одноточечного.
Хотя мы полагаем группу G конечной, ее размер не задан, и значит нельзя просто перечислить все объекты этого типа, ...
Деточка . Ваша зубриловка по русс. яз. - окончательно выветрилась из Ваших извилин :
... конечное множество - ПО ОПР-Е-ДЕЛ-ЕНИЮ . . .
Вы могёте перечислить - за конечное время ! ! ! :lol:
Т.е. мы должны перебрать все конечные группы, т.е. группы порядка N, где N-любое натуральное число.
вО .. А Вы - надеялись большой ложкой мёд хлебать . . .
Тут , Деточка , хгаботать нужно - ПО СЕРЬЁЗНОМУ !
НА ИС-ЗНОС , ТО ЕСТЬ ! хотя - это "дело" вовсе не так безнадёжно , как Вы тут нам "расписываете" !
А НА САМОМ ДЕЛЕ : Вы действительно затрудняетесь прочесть в любом учебнике дискретной математики . . .
для того ,
чтобы перебрать все конечные группы - достаточно перебрать . . .
всЁ(исчерпывающий перечень) - два в степени (два в степени N) .Укста-ААци , для 2-х логических переменных - это = 16 всЁвозможных вариантов .
для 3-х логических переменных - это = 256 всЁвозможных вариантов .
А для 4-х логических переменных - это уже = 65536 всЁвозможных вариантов .
И Т.Д.
- ПО НАРАСТАЮЩЕЙ , ако Снежный Ком - всЁвозможных вариантов .
так шшО - Впорр-Ёд , тов. SE . И
с песнями - повеселей ! ! !
