Foundations Without Foundationalism: A Case for Second-Order Logic.