Многие считают , что перевести основы современной математики в формальный вид не удастся никогда - слишком много труда требует этот нетворческий процесс .
много$1384 считать$100 ,$0 что$0 перевести$1490 основа$1466 современный$1650 математика$1454 в$0 формальный$1588 вид$1534 не$0 удаться$1718 никогда$36 -$0 слишком$36 много$36 труд$1538 требовать$18 этот$1792 нетворческий$1458 процесс$1500 .$0