Before revision: We develop a first-order deductive system to show that the occurrence of Black Swan events is implied by their definition .
After revision: We show that there exist unimaginable, or Black Swan events is implied by their definition .