All magicians are logicians

Hyper Incomplete High Concept

All the players are wizards. The setting is modern day. Each wizard has one axiom, of the form All Subject is Predicate or No Subject is Predicate. Subject and Predicate can be anything the player wants. Players can do anything a normal human can. Players can also Conclude and Justify their axioms. Concluding an axiom allows you to enforce the consequences of that axiom. Justifying an axiom allows you to enforce the cause of that axiom. An example: John has the axiom All Cats are Hairless Felines. John, if he encounters a cat (which is, of course, hairless), can Conclude from his axiom that cats would die in the winter of a  temperate location, and thus cannot exist here, at his home on the east coast, during January (the high formal logic version is All cats are Hairless Felines. No Hairless Felines are Winter Winter Adapted Felines. Therefore,  No Cats are Winter Adapted Felines). Alternatively, by expending far more power, John can Justify his axiom, backtracking along a foreign line of logic. Perhaps Cats are Hairless because a Cat (and, by association, all felines) is a kind of octopus (formally: All Octopeople are Hairless. All Cats are Octopeople. Therefore, all Cats are Hairless). How much power is expended whenever you use either ability depends on how many formal logic steps it takes to get to the final result.

Memes? In MY blogposts? Its more likely than you think.

Variations

• Mother Necessity: Wizards only have one part of their axiom (S or P) until they decide to use their axiom, after which it becomes unchangeable. 
• Nobilis Rip-off: No limit on how much axioms can be used.
• Define Subject: Each wizard has the same subject for their axiom. No contradictions.
• Informally: Power expended depends on how long it takes to convince the DM
• Principle Explosion: Wizards can take two axioms. Contradictory axioms are encouraged.
• Modernity: Wizards can use imaginary things as part of their axiom.
• Fuck Plato: All of the above