ФД - это очень подробное доказательство , записанное на формальном языке , который понятен и человеку , и компьютеру .
фд$1528 -$0 это$132 очень$36 подробный$1628 доказательство$1528 ,$0 записать$1992 на$0 формальный$1682 язык$1520 ,$0 который$1714 понятный$1774 и$0 человек$1546 ,$0 и$0 компьютер$1640 .$0