Квантовое состояние, Математическая логика