But, just the problem is that they are too powerful a tool, that is, you know -- or if you have laskettavuuden familiar with the theory -- so you know that this Gödelin epätäydellisyyslause biting tämmöisiin too strong formalism.
Mutta, juuri ongelma on se, että nämä ovat liian vahva työkalu, eli, te tiedätte – tai jos olette laskettavuuden teoriaan perehtynyt – niin tiedätte että tämä Gödelin epätäydellisyyslause puree tämmöisiin liian vahvoihin formalismeihin.