Hilberts program [hi´lbɐts], en av David Hilbert skisserad plan för att formalisera aritmetiken och med finita metoder visa dess motsägelsefrihet ... (20 av 135 ord)
Vill du veta mer om Hilberts program?Prova NE.se nu!