User blog comment:DontDrinkH20/H-Boogol-Boogol Bit by bit: PART 1: Model Theory 101/@comment-35470197-20180901140237/@comment-35470197-20180902081049

Good. I am glad to see formal logic here, because I personally prefer to uncomputable large numbers.