История изменений
Исправление cvs-255, (текущая версия) :
важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.
Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.
Если ты будешь доказывать его существование методом построения такого множества, то тебе надо будет доказывать, что в построенном множестве умножение коммутативно и это множество можно называть множеством вещественных чисел.
Но если ты знаешь доказательство существования множества вещественных чисел, не сводящееся к постройке такого множества, было бы интересно послушать
Исправление cvs-255, :
важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.
Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.
Исходная версия cvs-255, :
Во-первых, важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.
Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.