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