∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]

∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]

follow on the fediverse: @[email protected]

current 2011-04
No Self 2010