указание 42

В принципе это верно. Но предложение о том, что прямая АС не пересекает прямую l, может быть доказано даже в том случае, если исключить аксиому об единственности прямой, проходящей через точку и не пересекающей данную прямую (§23) (в дальнейшем это будет для нас очень важно). А теорема о сумме углов треугольника, на которую вы ссылались, не может быть получена, если мы исключим аксиому параллельности (через точку вне прямой можно провести единственную прямую, не пересекающую данную прямую). Прочитайте теперь указание 43 (после *).