But the second reads like gobbledygook while the first tries to provide some basic notion of what is involved and where it is applied while, at the same time, gently notifying users that they are going to have to seek elsewhere for a proper definition, the understanding of which requires far more backgound in mathematics and logic than can be assumed in the average user.
The first definitions is much more comprehensive.
Но второй читается как бред, в то время как первый пытается дать некоторое базовое представление о том, что происходит и где оно применяется, в то же время мягко уведомляя пользователей о том, что им придется искать в другом месте правильное определение, понимание которого требует гораздо большего знания математики и логики, чем можно предположить у обычного пользователя.
Первые определения гораздо более полны.