There is something I don’t understand about ontology. Suppose you have an ontology that contains, say, propositions and questions (which are proposition abstracts) and an ontology which contains just propositions. What is the difference between the two? All of the questions in the first can be created, represented, or mimicked in the second by abstracting from propositions. What does the difference between them come to? If there is no difference, then what difference is there between an ontology which contains just the real numbers, which can represent everything in the world (physical stuff; they can’t represent the power set of the reals), and an ontology which contains real numbers and physical objects?