73
edits
User:Neuekatze/Shodi: Difference between revisions
→Articles: :p
m (→Articles) |
(→Articles: :p) |
||
| Line 120: | Line 120: | ||
|k | |k | ||
|the X | |the X | ||
|''' | |'''∃x ∀y (P(y) → y = x)''' | ||
|- | |- | ||
|g | |g | ||
m (→Articles) |
(→Articles: :p) |
||
| Line 120: | Line 120: | ||
|k | |k | ||
|the X | |the X | ||
|''' | |'''∃x ∀y (P(y) → y = x)''' | ||
|- | |- | ||
|g | |g | ||
edits