weak postulate

Мат. слабый постулат