Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site trw-unix.UUCP
Path: utzoo!linus!philabs!seismo!hao!menlo70!sytek!hplabs!sdcrdcf!trw-unix!pearlman
From: pearlman@trw-unix.UUCP
Newsgroups: net.math
Subject: Re: A new paradox? (trivial spoiler)
Message-ID: <443@trw-unix.UUCP>
Date: Mon, 19-Sep-83 20:39:10 EDT
Article-I.D.: trw-unix.443
Posted: Mon Sep 19 20:39:10 1983
Date-Received: Fri, 23-Sep-83 05:57:43 EDT
References: ecn-ed.204 <410@5941ux.UUCP>, <2617@umcp-cs.UUCP>
Organization: TRW EDS, Redondo Beach, CA
Lines: 12



	"So why can't I use the induction to show that all sets of size
	equal to or greater than 3 are equal?  I'll just start my induction
	base at 3, and then everything works out fine.  Right?  Why not?"

Because "starting your induction base at 3" means proving that all sets of
size 3 are equal, which is really hard to do.

	-- Laura Pearlman
	...decvax!trw-unix!pearlman