- #1

- 520

- 2

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter tgt
- Start date

- #1

- 520

- 2

- #2

CRGreathouse

Science Advisor

Homework Helper

- 2,820

- 0

There's value in simplicity, so while many theories can be expressed in second-order logic I generally see them as being embedded in first-order logic. But there's no escaping real complexity; ZF in first-order logic has infinitely many axioms, so perhaps one would argue that its second-order formulation is 'no worse'.

Share: