Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | lit.salon