weak incompleteness

Мат. слабая неполнота