ウィラード・ヴァン・オーマン・クワイン
はウィラード・ヴァン・オーマン・クワインに負うところよる自然数のア・プリオリな定義を必要とする順序対の定義を採用している。 を自然数全体の成す集合とし、函数