b'\n_START_ARTICLE_\nMatematinis \xc4\xafrodymas\n_START_PARAGRAPH_\nMatematinis \xc4\xafrodymas \xe2\x80\x93 pademonstravimas, kad ka\xc5\xbekoks matematikos teiginys yra b\xc5\xabtinai teisingas laikantis priimt\xc5\xb3 tos srities aksiom\xc5\xb3. Matematinis \xc4\xafrodymas visada remiasi login\xc4\x97mis i\xc5\xa1vadomis, o ne tik empiriniais steb\xc4\x97jimais, kitaip tariant, \xc4\xafrodymas turi pademonstruoti kad teiginys yra teisingas visada ir absoliu\xc4\x8diai be joki\xc5\xb3 i\xc5\xa1lyg\xc5\xb3._NEWLINE_Tokie teiginiai matematikoje paprastai vadinami teoremomis ir, kart\xc4\x85 \xc4\xafrodyti, gali b\xc5\xabti naudojami kaip prielaidos kituose matematiniuose \xc4\xafrodymuose.'