Интересный вопрос. Если под формулами понимать запись, то нет, ее человечество изобрело самостоятельно, причем несколько раз независимо. Если бы наш вид общался не с помощью слов и письменности, а с помощью, скажем, запахов, то запись формул, очевидно, была бы иной.
А вот смысл формул - те самые математические законы - остался бы ровно тем же самым при любой записи. И этот смысл, конечно же, существовал задолго до человека.
Аксиомы недоказуемы по определению.
Нет, пока формулу или константу не открыли (изобрели, точнее сказать) её не было. И будущего ещё тоже нет, пока оно не наступило, даже, если считать, что всё детерминировано и будущее предопределено.
Странно, что на такой вопрос вообще пытаются всерьёз отвечать..
Весь информационный массив вселенной существует всегда и в каждое мгновение. Математика или какие-то ещё инструменты, позволяющие исследовать его ограниченные аспекты — это явление конкретной эпохи с соответствующими качествами человеческого сознания.