Implication

An implication states any sentence. With respect to a model, an implication is "what states any sentence". In contrast to hypotheses, there is a relation between implications and results. Note, however, that this relation is undefined or implicit; we say that the sentence is implicitly defined with respect to the implication.

In the provisional formalism, an implication is written $$R_0$$.

Points and primitive objects
Can we say that $$R_0$$ defines a point without any structure, i.e. `just' a point? So it defines a point without any appeal.

Another way of stating this is that an implication defines the primitive objects of a theory.

However, no specification of the primitive objects is ever enough to control their behavior under combination, composition, and/or collection. (?)

In a logical model
There are no hypotheses in a logical model (only labels for them), so an implication is simply a sentence that defines a sentence.