公理《几何原本》的内容中，有三类属于推理的初始前提，无法证明，也无需证明，其中包括（ABD）