Diferència entre revisions de la pàgina «Cita de Kneale sobre Peano»
De Wikisofia
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Extractes d'obres | |Tipus=Extractes d'obres | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 30: | Línia 22: | ||
{{Ref|Ref=Citado por W. Y M. Kneale, ''El desarrollo de la lógica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | {{Ref|Ref=Citado por W. Y M. Kneale, ''El desarrollo de la lógica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 13:23, 5 set 2015
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.
| Citado por W. Y 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.