They proposed this axiom as a means to reduce any function to one of lower type, successively, so that at the "bottom" (0 order) the function is identical to its extension: "Let us give the name of matrix to any function, of however many variables, that does not involve any apparent variables.
Zaproponowali oni ten aksjomat w celu zredukowania dowolnej funkcji do funkcji niższego typu tak, by „na dnie” (typ 0) funkcja była identyczna ze swoim rozszerzeniem: „Macierzą nazwiemy dowolną funkcję, jakkolwiek wielu zmiennych, która nie wykorzystuje żadnych zmiennych pozornych.