Steps which are obvious to a human mind may have fairly long formal derivations from the axioms.
Langkah-langkah yang jelas bagi pikiran manusia mungkin memiliki turunan-turunan formal yang cukup panjang dari aksioma.