2 ms·
The system isn't being used to prove its own consistency. The consistency is proved in a different, stronger system.
by pulisse 2y ago
The system isn't being used to prove its own consistency. The consistency is proved in a different, stronger system.