The informal proofs of everyday mathematical practice are unlike the formal proofs of proof theory.
Неформальные доказательства повседневной математической практики непохожи на формальные доказательства теории доказательств.