阿基米德定义的内容有哪些