જો કે, તે નક્કી કરવામાં આવે છે કે પરિણામી સિસ્ટમ, જે ક્વિન "મેથેમેટિકલ લોજિકના નવા ફાઉન્ડેશન્સ" તરીકે ઓળખાય છે, તે સુસંગત છે.