cipra: Difference between revisions
Content deleted Content added
Luckas-bot (casnu | selstika) m robot Adding: ms:Bukti matematik |
m robot Adding: frr:Bewis; cosmetic changes |
||
Linji 1
[[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
[[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]
-->
[[af:Bewys]]
Line 27 ⟶ 26:
[[fi:Matemaattinen todistus]]
[[fr:Démonstration]]
[[frr:Bewis]]
[[gan:數學證明]]
[[he:הוכחה]]
| |||