# 2nd order logic and mathematics?

## Main Question or Discussion Point

Does most of mathematics use 2nd order logic? If so would studying the foundations of mathematics involve mostly using 2nd order logic?