Re: Patriarchy: Re: What Matriarchy?

Stephen Barnard (
Wed, 14 Aug 1996 07:02:37 -0800

Stephen Barnard wrote:
> Godel's famous Incompleteness Theorem proves that any formal deductive
> system of sufficient power (at least the power of Peano arithmetic,
> which isn't that powerful) will be incomplete. That is, it will be
> possible to state theorems in that system that cannot be proven true or
> false.

Oops. I meant "well-formed formulas" (wffs), not "theorems".

Steve Barnard