During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
و خلال فترة حياة الرياضي ديفيد هيلبرت، كان هناك توجه لنشر الرياضيات كبناء منطقي.
وقد أدرك (سولومون غولوم) أن هذه هي الرياضيات التي يحتاجها لحل مشكلة إنشاء بنية خالية من الأنماط.