The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
The best way to learn a new programming language is by writing programs in it.
We are all bound by the laws of our own natures.