Re: Reals without infinity
From: joshp (joshp_at_xoxy.net)
Date: 10/30/04
- Next message: Gary Porter: "Frieze Patterns"
- Previous message: Uncle Al: "Re: Eleaticus (2004) Absurdities"
- In reply to: Chas Brown: "Re: Reals without infinity"
- Messages sorted by: [ date ] [ thread ]
Date: Sat, 30 Oct 2004 23:13:45 GMT
In article <ba7dcfd7.0410301311.6376feb3@posting.google.com>,
Chas Brown <cbrown@cbrownsystems.com> wrote:
>It seems somewhat like the idea of "proper classes"; I specify the
>"class" of integers by specifying a property, without asserting that
>the resulting collection of "all integers" actually exists as a set.
Yes.
For a fully-worked out formal proof that the class of natural
numbers can be constructed in ZF without the axiom of infinity, see:
<http://us.metamath.org/mpegif/peano1.html> through
<http://us.metamath.org/mpegif/peano5.html>.
-- Josh Purinton
- Next message: Gary Porter: "Frieze Patterns"
- Previous message: Uncle Al: "Re: Eleaticus (2004) Absurdities"
- In reply to: Chas Brown: "Re: Reals without infinity"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
|
