Diferència entre revisions de la pàgina «Cita de Kneale sobre Peano»
De Wikisofia
m (Text de reemplaçament - "senar" a "non") |
|||
| Línia 16: | Línia 16: | ||
{{Exemple}} | {{Exemple}} | ||
| − | Quaestio si | + | Quaestio si nos pote defini <math>N_0</math> significa si nos pote scribe |
aequalitate de forma | aequalitate de forma | ||
| − | <math>N_0</math> = expressiones composito per | + | <math>N_0</math> = expressiones composito per signos noto, <math>\cup, \cap, -, ..., \iota</math> |
| − | quod non | + | quod non es facile. Ergo nos sume tres idea |
<math>N_0, 0, +,</math> | <math>N_0, 0, +,</math> | ||
| − | ut idea | + | ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente. |
| − | {{Ref|Ref=Citat per W. I M. Kneale, ''El | + | |
| + | |||
| + | {{Ref|Ref=Citat per W. I M. Kneale, ''El desarrollo de la lógica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | ||
{{Propietat | {{Propietat | ||
|Propi=No | |Propi=No | ||
Revisió del 21:39, 1 maig 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
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.
| Citat per W. I M. Kneale, El desarrollo 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.