Someone please vibe-prove that ZFC is inconsistent.