Talk:Axiom of pairing/Comments

From Wikipedia, the free encyclopedia

Needs to discuss the various ways to pairing sets and their use in typed set theory (i.e. how much they raise the type of a pair over the type of the elements). C Mummert · talk 16:43, 14 May 2007 (UTC)