sentence2: In de 20e eeuw paste dit binnen David Hilberts programma om de gehele wiskunde te reduceren tot rekenkunde om vervolgens de consistentie van de rekenkunde te bewijzen door gebruik te maken van een finitistische redenering.
sentence1: في أوائل القرن 20،قاد ديفيد هيلبرت برنامجاً لتأطير كل الرياضيات التي يمكن أن تؤديها الآلة بالبديهيات الدقيقة والقواعد المنطقية للاستنتاج.