3 ms·
The comparison chart is incorrect, though. ZFC can prove its own consistency... according to Falso, at least.
by erehweb 15y ago
The comparison chart is incorrect, though. ZFC can prove its own consistency... according to Falso, at least.
loading thread…