Une proposition universelle indémontrable est forcément vraie.