This chapter is dedicated to mathematical theory such as Set Theory, Type Theory, Logic and alike

Before we Start To be frank, this is kind of an off the wall paper. First order logic is not some...