Unreasonable Effectiveness of Compositional Thinking → examples → meta-reflexivity and levels of abstraction → How other fields compare → Logic / Type theory →
#
>

Some self-reflection (e.g., universe levels), but often needs a meta-system

→