সুতরাং, গণিতের যেকোন স্বতঃসিদ্ধ ব্যবস্থা বাস্তবে সামঞ্জস্যপূর্ণ তা দেখানোর জন্য, একজনকে প্রথমে গণিতের একটি সিস্টেমের ধারাবাহিকতা ধরে নিতে হবে যা সামঞ্জস্যপূর্ণ প্রমাণিত হওয়ার জন্য সিস্টেমের চেয়ে শক্তিশালী।