In 1980 Alex Wilkie proved that not every identity in question can be proved using the axioms above.
W 1980 roku Alex Wilkie udowodnił, że nie każda tożsamość może zostać udowodniona przy pomocy powyższych aksjomatów.