自分がSFに求めている面白さはこれが一番大きい気がする

マイクロスコープとかGlobalふりかけとかもこの面白さ?

Yes

公理系を思い出した

数学ぜんぜんわからないけれども

選択公理の否定を導入した数学とか、二重否定除去を消した直観主義論理とか、色々ありますね

本筋とは違うけど/mtane0412/教科書をバラバラに切って使っていた鉄塔さんを思い出した