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 {,推荐阅读新收录的资料获取更多信息
救助报酬不得超过船舶和其他财产的获救价值。,更多细节参见新收录的资料