We normally use the natural-deductive form in place of the much longer axiomatic proof.
Kami biasanya menggunakan bentuk deduktif natural sebagai pengganti dari pembuktian aksiomatik yang lebih panjang.