The completeness of the proofs in these papers was achieved with no detriment to understanding and without any artificial formalisation.
Ang kaganapan ng proofs sa mga papeles ay makakamtan na walang pinsala sa unawa at nang walang anumang artipisyal formalisation.