Re: Clean Object Class Design -- Circle/Ellipse
From: Bob Badour <bbadour_at_golden.net>
Date: Sat, 4 Aug 2001 15:28:09 -0400
Message-ID: <W8Ya7.221$Ay4.18542682_at_radon.golden.net>
Date: Sat, 4 Aug 2001 15:28:09 -0400
Message-ID: <W8Ya7.221$Ay4.18542682_at_radon.golden.net>
>This is not what I meant. You gave me an axiom which is true for integers
but
>false for reals. Could you please write a predicate with one free variable
that
>defines a subset of integers given a set of real numbers?
Do you mean an axiom like countability? Received on Sat Aug 04 2001 - 21:28:09 CEST