СИСТЕМА АКСИОМ РАСШИРЕННАЯ

кеңейтілген аксиомалар жүйесі