Die mathematische Modellierung von konventioneller Stabilität und Abrüstung