) गोडेल की दो अपूर्णता प्रमेय ( ) का एक परिणाम यह है कि कोई भी गणितीय तंत्र जिसमें पियानो की अंकगणित शामिल है ( सभी विश्लेषण ( ) और ज्यामिति सहित ) , सच्चाई आवश्यक रूप से प्रमाण देती है ;
Entity: गणितीय — Type: /art/music, /programming_language, /art