display all the ideas for this combination of texts
4 ideas
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |