Wie ließe sich Komposition, das Bestehen von Objekten aus Teilen, etwa Gegenstände als Atombündel, in formaler Logik darstellen?
Man kann ja die konjunktive Normalform benutzen, aber bei atomaren Aussagen wie "∃Y (Y = 3)" liefert das keine Aussage darüber, "woraus" die Zahl 3 besteht.
Ein anderer Ansatz wäre "logische" Komposition, man kann Y schreiben als Y = S(S(S(0))), und damit wurde 3 in dessen axiomatische und deduktive Bestandteile in Peanoarithmetik zerlegt.
Ein weiterer Ansatz, etwas exotischer, wäre die Kolmogorov-Komplexität, welche die Information minimal kodiert.
Was erfasst "Komposition" am besten?