Re: SUBTHREAD : fixed point

"Jesse F. Hughes" <jesse@xxxxxxxxxxxxx> writes:

This is the sense in which I meant that LWalker's theory is ad hoc:
not that the initial sets of axioms are ad hoc, but that, once built,
new axioms are being endlessly tacked on.

Surely NFU is not ad hoc in *that* sense?

Surely not. (And the axioms people have considered tacking on it
aren't ad hoc in that sense either.)

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages