3 ms·No, let’s replace law of excluded middle with axiom of adversarial choice.by adamnemecek 8y agoNo, let’s replace law of excluded middle with axiom of adversarial choice.