Pembuktian melalui deduksi

Penalaran deduktif harus dibedakan dari konsep yang terkait yaitu deduksi alamiah, sebuah pendekatan kepada teori pembuktian bahwa upaya-upaya untuk memberikan sebuah model penalaran logis yang formal sebagaimana ia terjadi "secara alamiah".