cipra: Difference between revisions

.i la'o zoi. Wikipedia .zoi krasi
Content deleted Content added
Luckas-bot (casnu | selstika)
m robot Adding: ms:Bukti matematik
Xqbot (casnu | selstika)
m robot Adding: frr:Bewis; cosmetic changes
Linji 1 Linji 1
[[File:Chinese pythagoras.jpg|thumb|200px|pixra be lo cipra be le [[pitagoras. zei cmacrteorema]]]]
[[File:Chinese pythagoras.jpg|thumb|200px|pixra be lo cipra be le [[pitagoras. zei cmacrteorema]]]]


ni'o lo '''cipra''' goi ko'a cu na'eci'imei porsi be lo jufra to se cmene lo drasu'a mekso vi lo drasu'a bangu toi noi me lo [[aksioma]] .a lo se [[lojycpa]] be fi lo purci jufra pe le porsi .i le romoi jufra pe le porsi cu [[cmacrteorema]] ci'e le drasu'a ciste
ni'o lo '''cipra''' goi ko'a cu na'eci'imei porsi be lo jufra to se cmene lo drasu'a mekso vi lo drasu'a bangu toi noi me lo [[aksioma]] .a lo se [[lojycpa]] be fi lo purci jufra pe le porsi .i le romoi jufra pe le porsi cu [[cmacrteorema]] ci'e le drasu'a ciste

[[category:logji]]
[[category:cmaci]]

<!--
<!--
A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof.[1]
A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof.[1]
-->
-->

[[Category:logji]]
[[Category:cmaci]]


[[af:Bewys]]
[[af:Bewys]]
Linji 27 Linji 26
[[fi:Matemaattinen todistus]]
[[fi:Matemaattinen todistus]]
[[fr:Démonstration]]
[[fr:Démonstration]]
[[frr:Bewis]]
[[gan:數學證明]]
[[gan:數學證明]]
[[he:הוכחה]]
[[he:הוכחה]]

ro moi lu'i ro mupli poi zasti pu le se detri be li 07:28, 20 ly. bi 2010

pixra be lo cipra be le pitagoras. zei cmacrteorema

ni'o lo cipra goi ko'a cu na'eci'imei porsi be lo jufra to se cmene lo drasu'a mekso vi lo drasu'a bangu toi noi me lo aksioma .a lo se lojycpa be fi lo purci jufra pe le porsi .i le romoi jufra pe le porsi cu cmacrteorema ci'e le drasu'a ciste