I find this easier to understand with a visualization. Here I’m using purple ovals for calls to node, green rectangles for calls to cons, black ovals for calls to empty and black rectangles for calls to nil:
Donald Trump has urged the Australian government to grant asylum to five members of the Iranian women’s football team, amid reports that they refused to return home following the team’s elimination from the Women’s Asian Cup and were taken into the protection of Australian police.
。关于这个话题，新收录的资料提供了深入分析
Soundcore Sleep A30
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.
Edwin Ong & Alex Vikati · feb-2026 · claude-code v2.1.39