Kann es ein Entscheidungsverfahren für mathematisch relevante Untertheorien T ⊆ L 0 A r {\displaystyle {}T\subseteq L_{0}^{\rm {Ar}}} geben?