Аксиомы вещественных чисел

1. Аксиомы сложения (операция определена )

1.1. Существование нуля: , для которого

1.2. Существование противоположного элемента:

1.3. Правило раскрытия скобок:

1.4. Коммутативность:

2. Аксиомы умножения (операция определена )

2.1. Существование единицы: , для которого

2.2. Существование обратного элемента:

2.3. Правило раскрытия скобок:

2.4. Коммутативность: