Voldemar> Это направление мышления.
Тогда надо постить всю математику. Там везде так.
Voldemar> Обязательно постить то, что уже другие наваяли?
Так другие наваяли, но не все поняли.
Voldemar> Но их можно использовать для доказательства.
??? В системе аксиом работают. Из них исходят. Не использовать аксиомы нельзя. Поскольку аксиомы — это база.
Voldemar> Я говорил во множественном числе, а система или сборище, как тебе будет удобнее.
Множественное число в математике очень дело тёмное. Ты в каком множественном говорил — в конечном, бесконечном, но счётном, или в бесконечном, но не счётном?
Voldemar> А никто не обещал доказательство для любого к-ва предметов.
Доказательство не бывает не общим. Оно для заданных условий. Поскольку речь про сложение и умножение чисел, то доказательство для этих операций для чисел. Всех чисел.
Voldemar> ФВигвам (жилище индейцев), про всё договора не было.
Этот договор появился задолго до твоего рождения.
У тебя выбора нет. Как произнёс слово доказательство, так сразу и попал.