https://123deta.com/document/qo54g16k-自然数としての論理式.html