The Foundations of Mathematics

Stephen Wolfram discusses the foundations of mathematics, including the question of whether mathematics is arbitrary or has a more fundamental truth to it. He explains how the symbolic axioms created by mathematicians in the late 1800s may have made a mistake in assuming that everything can be built up from these axioms.