Si el sistema F es consistente, ni la proposición ni su opuesta serán demostrables en él.