display all the ideas for this combination of texts
2 ideas
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |