... s t a n t − f u c t i o n − r u l e r {\displaystyle x,\forall a,\forall b\neq (\forall F)(h),a-b\neq 0,F\neq constant-fuction-ruler}.
確定! 回上一頁