Matematiksel ispat: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
k Bot değişikliği Ekleniyor: vi:Chứng minh toán học |
Superyetkin (mesaj | katkılar) k Karakter hatası düzeltildi |
||
19. satır:
Doğru olduğu düşünülen fakat henüz tanıtlanmayan bir önerme ''[[sanı (matematik) |sanı]]'' (konjektür) olarak bilinir.
Bazı durumlarda, belirli bir önermenin verili bir aksiyomlar kümesinden tanıtlanamayacağı tanıtlanabilir; bkz. örneğin [[süreklilik hipotezi]]. Aksiyom sistemlerinin çoğunda, ne tanıtlanabilen ne de tanıtlanamayan önermeler bulunur (bkz. [[
==İlgili konular==
|