Diferència entre revisions de la pàgina «Cita de Kneale sobre Peano»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Extractes d'obres }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Cita de Knerale sobre...».) |
m (Text de reemplaçament - "senar" a "non") |
||
| Línia 22: | Línia 22: | ||
<math>N_0</math> = expressiones composito per signes noto, <math>\cup, \cap, -, ..., \iota</math> | <math>N_0</math> = expressiones composito per signes noto, <math>\cup, \cap, -, ..., \iota</math> | ||
| − | quod | + | quod non és facile. Ergo ens sumeix tres idea |
<math>N_0, 0, +,</math> | <math>N_0, 0, +,</math> | ||
| − | ut idea primitiu per que ens defini omni symbolo d'Arithmetica. Ens determina valori de symbolo | + | ut idea primitiu per que ens defini omni symbolo d'Arithmetica. Ens determina valori de symbolo non definito per systema de propositio primitiu sequente. |
{{Ref|Ref=Citat per W. I M. Kneale, ''El desenvolupament de la lògica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | {{Ref|Ref=Citat per W. I M. Kneale, ''El desenvolupament de la lògica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | ||
{{Propietat | {{Propietat | ||
Revisió del 18:00, 7 març 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
Quaestio si ens pote defini [math]\displaystyle{ N_0 }[/math] significa si ens pote scribe
aequalitate de forma
[math]\displaystyle{ N_0 }[/math] = expressiones composito per signes noto, [math]\displaystyle{ \cup, \cap, -, ..., \iota }[/math]
quod non és facile. Ergo ens sumeix tres idea
[math]\displaystyle{ N_0, 0, +, }[/math]
ut idea primitiu per que ens defini omni symbolo d'Arithmetica. Ens determina valori de symbolo non definito per systema de propositio primitiu sequente.
| Citat per W. I M. Kneale, El desenvolupament de la lògica, Tecnos, Madrid 1972, p. 437. |
Original en castellà
Quaestio si nos pote defini [math]\displaystyle{ N_0 }[/math] significa si nos pote scribe
aequalitate de forma
[math]\displaystyle{ N_0 }[/math] = expressiones composito per signos noto, [math]\displaystyle{ \cup, \cap, -, ..., \iota }[/math]
quod non es facile. Ergo nos sume tres idea
[math]\displaystyle{ N_0, 0, +, }[/math]
ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente.