dotyczący teorii modeli (semantyki logicznej)