От людей требуется создать подходящий формальный язык и программу , которая умеет проверять записанные на нем доказательства .
от$0 человек$1540 требоваться$1580 создать$1490 подходить$1870 формальный$1588 язык$1534 и$0 программа$1460 ,$0 который$1714 уметь$18 проверять$1506 записать$1612 на$0 он$2060 доказательство$1678 .$0