Synthetic Philosophy of Contemporary Mathematics