The ALUT non-unknowability conjecture
ALUT non-unknowability conjecture. For all φ∈ALUT\varphi\in\textbf{ALUT}φ∈ALUT and all i∈Ii\in\textbf{I}i∈I,
MathDB