Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Набросок "алгебры прямоугольников" \

9.6.4.5.3. Родственные системы

9.6.4.5.3.1. Система RA_standard      9.6.4.5.3.2. Системы Q+ (R+)      9.6.4.5.3.3. Системы Q+(0, ∞), R+(0, ∞)