Definition
Definition

==== Kontextdefinition (implizite Definition) ====
Während in ''expliziten Definitionen'' der definierte Ausdruck alleine auf der linken Seite vorkommt, gilt dies für ''Kontextdefinitionen'' (oder auch ''implizite Definitionen'') nicht. In der Kontextdefinition tritt der definierte Begriff also nicht allein auf der linken Seite auf, sondern in einem für ihn charakteristischen Kontext. Die Verwendung in anderen Kontexten ist unzulässig.
Fällt beispielsweise eine allgemeine Definition des Prädikates „adäquat“ schwer, so lässt sich leicht definieren, dass die Aussage „X ist ein adäquater Kalkül“ genau dann wahr ist, wenn X ein Kalkül ist, der vollständig und korrekt ist.
Adäquatheit wurde damit nur im Kontext „Kalkül“ definiert, und die Frage, wann überhaupt etwas adäquat ist, bzw. welche Dinge unter diesen Begriff fallen, stellt sich nicht. Dieser ontologische Unterschied erspart etwa der modernen Mathematik die philosophische Frage nach dem Wesen der Zahl (empirisch, psychologistisch oder logisch). Denn die mathematischen Axiome sagen nicht, was eine Zahl ist, sondern wann sich etwas Zahl nennen darf und welche arithmetischen Eigenschaften sodann für diese gelten.