Точка и прямая известны из планиметрии.... других популярных фигур стереометрии:
Аксиомы стереометрии
В стереометрии справедливы все аксиомы планиметрии
прямых в пространстве
А теперь, для того чтобы доказать теорему, воспользуемся евклидовой аксиомой из планиметрии... Воспользуемся аксиомой планиметрии, согласно которой если одна из параллельных прямых пересекает другую
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству