Critics of such approaches point out that the ambiguity inherent in natural language allows errors to be undetected in such proofs; often, subtle errors can be present in the low-level details typically overlooked by such proofs.
Tokio požiūrio kritikai teigia, kad dviprasmiškumas būdingas natūraliai kalbai tokiuose įrodymuose leidžia neaptikti klaidų, dažnai subtilios klaidos gali būti žemo lygio smulkmenose, paprastai nepastebėtose tokių įrodymų.