A. Wolf wrote:
>> So long as it is not self-contradictory I can make it an axiom of a
>> basis. It may not be very interesting mathematics to postulate:
>> Axiom 1: There is a purple cow momentarily appearing to Anna and then
> I fear this is not an "axiom of a mathematical basis". :)
> The problem with improperly-founded axioms is the same problem
> encountered with the naive set theory of Frege. You can't ever be
> certain that a set of axioms isn't self-contradictory.
I can if there's no rule of inference. Perhaps that's crux. You are requiring
that a "mathematical structure" be a set of axioms *plus* the usual rules of
inference for "and", "or", "every", "any",...and maybe the axiom of choice too.
> Frege's unstated Axiom of Unrestricted Comprehension, which roughly
> states "for any property P, there exists a set containing all and only
> the things that satisfy that property", is self-contradictory by
Well not entirely by itself - one still needs the rules of inference to get to
But then what is the justification for limiting "universes" to those which
the usual rule of inference? And remember that because of Godelian
incompleteness an infinite number of axioms can be added even to those
without running into contradictions.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at