Вся наша Вселенная, наши действия, сознание, в общем - всё описывается на языке математике? Или же где-то она бессильна?
Что-то это похоже у Вас на программу Гильберта по формализации математики. Как оказалось, это невозможно. Грубо говоря, множество объективных истин в мире несчётно, тогда как множество доказательств счётно. Курт Гёдель доказал это.
В частности, я к примеру скептически отношусь к теории струн. Так как там в полный рост встают топологические проблемы, где истин больше чем доказательств. Шансов на то, что там окончательно удастся все вывести и доказать, нет.