Ada sebuah pernyataan atau proposisi yang dianggap benar tanpa perlu pembuktian lebih lanjut. Apakah itu?