In McCarthy's papers it varies how many are needed, depending on which paper you read. Regardless, the idea is that those "axioms" is all you need to build computations on. A closed universe. A mathematical theory. Those axioms are like Euclidean axioms, something you can build other mathematical constructs, it is just that here we are talking about computing.
（五）核动力船舶造成的核能损害的赔偿请求；，更多细节参见新收录的资料
}struct Inventory {，推荐阅读新收录的资料获取更多信息
救助报酬不得超过船舶和其他财产的获救价值。，更多细节参见新收录的资料