>>12
じゃお前はすべての定理を集合論の公理から導いてろ