アホはお前だ
理解不能なものを形式化できるわきゃない