વિરોધાભાસ દ્વારા સાબિતી તેમના લોજિકલ ફોર્મ ઘટાડો કર્યો હતો.