Nam Nguyen wrote: > > On 26/04/2013 11:09 AM, Nam Nguyen wrote:
> > On 2013-04-25, FredJeffries <firstname.lastname@example.org> wrote: > >> > >> Now PA has been proved consistent in ZF or NBG, but then that > >> brings the consistency of axioms for set theory. > > Exactly right. And exactly my point. > > Somewhere, somehow, a circularity or an infinite regression > of _mathematical knowledge_ will be reached,
How does one reach an infinite regression?
> and at that point > we still have to confront with the issue of mathematical relativity.
It is not the case that either we go round in a circle or we regress forever.
> There's really no escape to it, I'm afraid from what I could gather.
-- When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting