Нельзя однозначно сказать, почему «there is no» считается более формальным, чем «there aren’t».
Однако есть информация о том, что отрицание, сформулированное с помощью частицы not, считается более сильным. 3 При таком способе после глагола to be ставится not, а к существительным добавляется «a» или «any». 3 Например: «There isn’t a cat under the sofa» — «Под диваном нет (никакой) кошки». 3
Отрицание, сформулированное с помощью no, встречается чаще. 3 После глагола to be ставится no, при этом к существительным не нужно добавлять «а» или «any». 3 Пример: «There is no cat under the sofa» — «Под диваном нет кошки». 3
При этом при отрицании можно использовать и no, и not — в обоих случаях поймут. 4 Но иногда предположения с not звучат более категорично. 4