যেমন: গ্যোডেলের অসম্পুর্ণ সূত্র গণিতে অবাধিত ভাবে প্রয়োগ করে যে, যেকোনো কার্যকর ধারাবাহিক পদ্ধতি যা মৌলিক গণিত অন্তর্ভুক্ত করে, যদি সাউন্ড হয় (যা বুঝায় যে সমস্ত সিদ্ধান্ত যা প্রমাণিত করা যেতে পারে তা সত্য), তাহলে অপরিপূর্ণ (যা বুঝায় যে সেই সিস্টেমে প্রমাণিত করা যেতে পারে সেগুলি যথাযথ নয়)।