The caveat is that it's a rule of _formal systems_. Any formal system that can represent multiplication can be shown to have unreachable truths or provable falsities.