El sistema axiomático de ZFC admite las demostraciones por reducción al absurdo como método para demostrar teoremas.