Re: A further question on weak but categorical axiomatisations of the naturals
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Fri, 29 Feb 2008 01:01:19 +0100
aatu.koskensilta@xxxxxxxxx schrieb:
Jan Burse wrote:By categorical you mean: For every T, either T |- A or T |- ~A.
A most bizarre assertion. But of course by "T" you mean, in fact, a
boiled cucumber.
No brocoli.
.
- References:
- A further question on weak but categorical axiomatisations of the naturals
- From: Aatu Koskensilta
- Re: A further question on weak but categorical axiomatisations of the naturals
- From: Jan Burse
- Re: A further question on weak but categorical axiomatisations of the naturals
- From: aatu . koskensilta
- A further question on weak but categorical axiomatisations of the naturals
- Prev by Date: Re: is there a set of all ordinals
- Next by Date: Re: A further question on weak but categorical axiomatisations of the naturals
- Previous by thread: Re: A further question on weak but categorical axiomatisations of the naturals
- Next by thread: Re: A further question on weak but categorical axiomatisations of the naturals
- Index(es):
