Здравствуйте, vopl, Вы писали:

V>1. целые int32_t не являются подмножеством математических целых, так как они закольцованы

Они не закольцованы, а за-ub'ешены:

#include <iostream>

using namespace std;

int main()
{
    for(int i=0; i>0; ++i) {
        cout << i << " ";
    }
    cout << "wat";
}

http://coliru.stacked-crooked.com/a/878248936ab64776
Вывод:

g++ -std=c++17 -O3 -Wall -pedantic main.cpp && ./a.out
wat

В то время как беззнаковые действительно закольцованы

Здравствуйте, vopl, Вы писали:

V>1. целые int32_t не являются подмножеством математических целых, так как они закольцованы

Они не закольцованы, а за-ub'ешены.