Данные формального логического рассуждения показывают, что язык мышления не является естественным языком