principle of explosion

Summary

principle of explosion is a theorem^[1]. It ranks in the top 7% of theorem entities by monthly Wikipedia readership (229 views/month).^[2]

Key Facts

• principle of explosion's instance of is recorded as theorem^[3].
• principle of explosion's subclass of is recorded as axiom^[4].
• principle of explosion's Freebase ID is recorded as /m/02t54v^[5].
• principle of explosion's facet of is recorded as proof by contradiction^[6].
• principle of explosion's short name is recorded as {'lang': 'la', 'text': 'EFQ'}^[7].
• principle of explosion's different from is recorded as division by zero^[8].
• principle of explosion's defining formula is recorded as \forall P \forall Q: (P \and \lnot P) \vdash Q^[9].
• principle of explosion's studied by is recorded as propositional calculus^[10].
• principle of explosion's BabelNet ID is recorded as 03415019n^[11].
• principle of explosion's maintained by WikiProject is recorded as WikiProject Mathematics^[12].
• principle of explosion's Microsoft Academic ID is recorded as 118406814^[13].
• principle of explosion's in defining formula is recorded as P^[14].
• principle of explosion's in defining formula is recorded as Q^[15].
• principle of explosion's in defining formula is recorded as \land^[16].
• principle of explosion's in defining formula is recorded as \lnot^[17].
• principle of explosion's in defining formula is recorded as \forall^[18].
• principle of explosion's in defining formula is recorded as \vdash^[19].

Why It Matters

principle of explosion ranks in the top 7% of theorem entities by monthly Wikipedia readership (229 views/month).^[2] It has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.^[20] It is known by 26 alternative names across languages and contexts.^[21]