Uncountability Proof Protocol Design | Uncountability Proof | Mathematics | NEROS