4 ms·But it should be possible for a system to prove its consistency, right?by SilasX 3y agoBut it should be possible for a system to prove its consistency, right?