Como es obvio, la comprobación de una proposición está sujeta a ciertas limitaciones: primero ha de ser verificable; además, la verificación no es infalible.,