7 ms·
Technically only true for formal systems where you can axiomatically define A = not A, which is principally arbitrary.
by pengstrom 3y ago
Technically only true for formal systems where you can axiomatically define A = not A, which is principally arbitrary.