display all the ideas for this combination of texts
4 ideas
16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |