Трюизмы

используемые в доказательствах положения, истинность которых самоочевидна для большинства людей.