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