સમસ્યા હલ કરવામાં આવી હતી: ટ્રિનિટી (ટ્રિનિટી) ના સિદ્ધાંત ફિટ હતી  ઔપચારિક તર્કશાસ્ત્રના.