高校レベルで学ぶ集合論は集合論のうちに入らぬ、
前提命題
　XはURLをh抜きで書く→Xは素人である　（ = ¬((XはURLをh抜きで書く)∧¬(Xは素人) ）
から
　XはURLをhを抜かずに書く→Xは玄人である　（ = ¬(¬(XはURLをh抜きで書く)∧¬(Xは玄人) ）
という命題を導くためには、
　{ 素人 } ∩ { 玄人 } = φ　（排中立）
が成立せねばならないぬが、{ 素人 } ∩ { 玄人 }が無限集合である以上、
演繹系を無限集合の排中律を認めるやつに固定せねば妥当な演繹にならない