https://123deta.com/jp/docs/logical-calculus-intuitively-and-logically-denote-number-systems.11054486