1. 1.
    0
    @5

    teorem
    Kanıtlanabilen bilimsel önerme.
    Mantıksal usa vurma ile kanıtlanan önermenin veya özelliğin bildirimi.
    Doruluğu kanıtlanabilen önerme.
    Bk. kanıtsav
    ···
   tümünü göster