Penalaran yang dapat dibuktikan