嘉當和韋伊討論在撰寫《數學原理》時,裡面有對映的概念,但是對映不是集合。
如果不能用集合論解釋的東西,時決不容於本書和布林巴基學派裡的。
嘉當說:“原來咱們寫書的時候,帶著對映的概念,大家就不高興,要不就去掉吧。”
韋伊說:“主要當時我們認為對映這個概念太基本了,如果去掉,那我們如何定義函式呢?再說,你要用什麼樣的概念來取代對映?”
嘉當說:“庫拉托夫斯基的序偶。”
韋伊說:“是波蘭華沙數學學派的領袖人物。會不會沾波蘭數學的味?”
嘉當說:“數學無國界,別管他們怎麼說,偶序完全可以說明這個概念。”
嘉當寫下(a,b)={a,{a,b}}符號。
韋伊說:“左側是序偶,右側是集合。”
嘉當說:“庫拉托夫斯基巧妙地避開了“對應”、“對映”,將函式概念劃歸為集合。”
韋伊說:“這比豪斯多夫關於“序偶”的定義更為簡單、明瞭。”
嘉當說:“下一版的時候,把對映的概念去掉吧,我們用序偶。”