( proposition vi in `` on formally undecidable propositions in principia mathematica and related systems i '' 1931 ) and fermat 's last theorem : - the equation an + bn = cn has solutions in positive integers a , b , c and n only when n = 2 ( and then there are infinitely many triplets a , b , c which satisfy the equation ) ; but there are no solutions for n > 2 .