古希腊数学家（）所著《几何原本》是公理化思想的萌芽。
A、埃拉托斯特尼
B、欧几里得
C、毕达哥拉斯
D、阿基米德
形式主义的公理化研究方法是（）。
A、“对象---公理---演绎”方法
B、“假设---演绎”方法
C、“抽象---演绎”方法
D、“归纳---演绎---推理”方法
