 |  |
 |
Nick: Trouble
Oggetto: re:javirc
Data: 1/9/2007 14.15.8
Visite: 92
è stato detto:
X favore risp intelligenti!!!!
un sistema formale si dice sintatticamente ricco se è possibile associare ad ogni proposizione generale P relativa alle proprietà di una certa classe di oggetti una proposizione particolare P1 che riguarda un membro particolare della classe che esibisce effettivamente quelle proprietà. Ci si aspetta che un sistema formale possa esplorare in modo esauriente ogni oggetto costruibile tramite .
