તેમને બાંધવા આવશ્યકતા ગાણિતિક તર્ક પ્રવર્તમાન સમસ્યાઓના કારણે દેખાયા હતા.