User:Vinniex

Vinniex is a crazy bird who is extremely small. _ o(^_^)o (O O)

thats not a bird.... AND STOP EDITING THIS!!!! GAHH

this is a bird (1337 owl): ^ ^ (0_o) ((0)) ^ ^ PS in addition to being a 8337, vinniex is the ASCII animal drawers. By drawers, we mean he is underwear. PPS THAT IS THE REAL 1337 BUNNY!!!! _ (^_^) __o unreal tournament bunny: _ * --(T_T)* HEADSHOT __*

$$K = \lbrace n\in\mathbb{N} | \lnot provable(R_n(n))\rbrace$$

$$\forall$$

$$\exists$$

$$R_q(q)\Leftrightarrow S(q)\Leftrightarrow q\in K\Leftrightarrow\lnot provable(R_n(n))$$

$$\exists u\ \forall v\ (u(v)\Leftrightarrow a)$$

$$\Big(\forall x_1\ (x_2(x_1)\Leftrightarrow y_2(x_1))\Big)\Rightarrow x_2=y_2$$

$$\forall x(F(x)\Leftrightarrow x = [n])$$

$$\forall x(x = [n] \Leftrightarrow x = [p])$$

$$\forall x(F(x)\Leftrightarrow x = [p])$$

$$\lnot B(x,y)\land\forall a(a<x\Rightarrow B(a,y)))$$

$$\exists z(s<y\land C(x,z))$$

$$\exists y(y=([10]\times [k])\land A(x,y))$$