Gödel's theorem
ગોડેલનો પ્રમેય ગણિતશાસ્ત્રી કર્ટ ગોડેલ દ્વારા વિકસાવવામાં આવેલા કેટલાક પ્રમેયોમાંથી કોઈપણનો સંદર્ભ લઈ શકે છેઃ ગોડેલનો અપૂર્ણતા પ્રમેય ગોડેલનો સંપૂર્ણતા પ્રમેય ગોડેલનો સ્પીડ-અપ પ્રમેય ગોડેલનો ઑન્ટોલોજિકલ પુરાવો પણ જુઓ.