pairing_function 0.0.8
Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers.
Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers.