[Date Prev][Date Next] [Chronological] [Thread] [Top]

A question

Hi:

I am looking for a fact like this:

	for X being infinite set
         ex f being Function of NAT, X st f is one-to-one

To my surprise I cannot find such a theorem or a scheme in MML.
Maybe I am looking for a wrong thing?

	
-- 
Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr

I am a fundamentalist: always fun before mental.