글쓴이: dpfinger (DoYouLikeToSmell?)
날 짜: Sun Nov 24 16:33:23 1996
제 목: Re: 오늘 marriage problem
음.....
이해할것 같습니다....
axiom of choice를 안 쓰고는 안될것 같더군요..
음...
constructive한것 같았는데, 실제로는, 엄밀하게는 axiom of choice를 써야만
했군요..
==============================================================================
I've got nothing to say right now. -from the most deepest finger
....department of mathematics, undergraduate 95.
