Nanging, nganggé cara sané pateh, para filsuf matematika sampun mautsaha antuk nyoroang napi sané ngranayang bukti asiki utawi lebih kamanahang ketimbang sané lianan rikala makakalih secara logis ngranjing ring kayun.