I am reading D. J. H. Garling's book: "A Course in Mathematical Analysis: Volume 1: Foundations and Elementary Real Analysis" ... ...(adsbygoogle = window.adsbygoogle || []).push({});

I am at present focused on Part 1: Prologue: The Foundations of Analysis ... Chapter 1: The Axioms of Set Theory ...

I need help with an aspect of the proof of Proposition 1.7.5 ...

Proposition 1.7.5 reads as follows:

In the above proof we read the following:

"By the foundation axiom, there exists ##n \in \mathbb{Z}^+## such that no member of ##f(n)## is in ##f( \mathbb{Z}^+ )##. ... ... "

Can someone please explain how/why the foundation axiom implies that there exists ##n \in \mathbb{Z}^+## such that no member of ##f(n)## is in ##f( \mathbb{Z}^+ )##. ... ... ?

Peter

NOTE:

To enable readers to follow the above post I am providing Garling's text on the foundation axiom and the axiom of infinity ... ...

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I ZFC ... Axioms of Foundation ... and Infinity ...

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Axioms Foundation Infinity | Date |
---|---|

A Axiom of Choice not self evident? | Sep 10, 2017 |

A Formal axiom systems and the finite/infinite sets | Mar 1, 2017 |

I Axiom of Infinity & Garling, Th. 1.7.4 & the successor set | Nov 4, 2016 |

Axiom of Schema Foundation | Feb 28, 2011 |

Axiom of Foundation | Nov 13, 2010 |

**Physics Forums - The Fusion of Science and Community**