[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Logica

To: Obm-L <obm-l@xxxxxxxxxxxxxx>
Subject: Logica
From: Ricardo Parreira da Silva <rpsilva@xxxxxxxxxxxxxx>
Date: Wed, 16 May 2001 13:08:46 -0300 (GRNLNDST)
In-Reply-To: <LPBBKPBEEJFMLGBCAHEKKEKLCIAA.mathfire@ig.com.br>
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

É possível termos para uma teoria de primeira ordem consistencia e
completude?
Entendemos por teoria de primeira ordem, um conjunto de sentenças
expressas numa linguagem de primeira ordem.

Follow-Ups:
- Re: Logica
  - From: Nicolau C. Saldanha

References:
- funcoes continuas e uniformemente continuas
  - From: Eric Campos Bastos Guedes

Prev by Date: RES: En: 3-4-5 triangles
Next by Date: Re: Logica
Prev by thread: funcoes continuas e uniformemente continuas
Next by thread: Re: Logica
Index(es):
- Date
- Thread