Hippopotame (./7886) :
Une proposition universelle indémontrable est forcément vraie.

Oui et puis "pour tout x, non P" est une proposition universelle indémontrable donc vraie aussi, y a comme une contradiction