高二学渣💀💀刚学到立体几何。我们初中知道几乎完善的平面几何只需要五组公理即可推出。但是立体几何是否也适用？我们的高中教材引入了至少两组新的公理，即如果一条直线上的两个点在平面上，这条直线在这个平面上和其他两组。在同时，教材并没有给出关于平面的确切。定义我想知道立体几何的所有命题是否也能基于这五组公理和新的定义推出？以及在哪里可以看到？
（看过几何原本的立几部分但是似乎并没有给出与教材相似的命题，当然也可能没看清楚，几何基础里面似乎又没有立几部分）