Mindenben igazad van. Én egy adott rendszert gondoltam. Tudom, hogy pl. a valós számok axiomarendszere levezethető a halmazelméletiekből. Nem igazán erről szólt a hozzászólásom. Azt hiszem, nincs köztünk vita. GPF