АКСИОМА НЕПРЕРЫВНОСТИ (ПРИНЦИП ДЕДЕКИНДА)
Пусть AA, BB -- непустые подмножества RR такие, что
∀a∈A,b∈B → a≤b.∀a∈A,b∈B → a≤b.
Тогда существует c∈Rc∈R такое, что
∀a∈A,b∈B → a≤c≤b.
НЕКОТОРЫЕ СЛЕДСТВИЯ ИЗ АКСИОМ МНОЖЕСТВА ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ
Число 0 единственно.
Для любого aa число (−a)(−a), противоположное к aa единственно.
Для любых a,b∈Ra,b∈R существует единственное xx такое, что a+x=ba+x=b (при этом x=b+(−a)x=b+(−a); это число называется разностью между bb и aa и обозначается b−ab−a).
Число 1 единственно.
2x+y=9 y=9-2x y=9-2x x=5 x=5
3x-5y=20 3x-45+10x=20 13x=65 y=9-10 y=-1
x+2y=7 x=7-2y
5x-y=2 5(7-2y)-y=2
Дальше сам)