LINUX.ORG.RU

История изменений

Исправление cvs-255, (текущая версия) :

важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.

Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.

Если ты будешь доказывать его существование методом построения такого множества, то тебе надо будет доказывать, что в построенном множестве умножение коммутативно и это множество можно называть множеством вещественных чисел.

Но если ты знаешь доказательство существования множества вещественных чисел, не сводящееся к постройке такого множества, было бы интересно послушать

Исправление cvs-255, :

важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.

Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.

Исходная версия cvs-255, :

Во-первых, важно понимать, в каком множестве мы работаем. Если мы работаем в множестве натуральных чисел, то это теорема, которую надо доказывать.

Если мы хотим работать в множестве вещественных чисел, то да, есть определение множества вещественных чисел, в котором прописано, что множество называется множеством вещественных чисел если удовлетворяет ряду условий, в том числе и коммутативностью умножения, но тогда будь добр доказать существование такого множества.