今回の数学エッセーでは, 次のことを証明します: 『L_1, L_2 を R^3 のねじれの位置にある直線とする時, a_i ∈ L_i (i = 1, 2) をただ1組取って, ベクトル a_2 - a_1 が L_1 と L_2 の どちらとも直交するようにできる.』 証明: 平行移動により, 初めから, L…

ある掲示板で, 次のような問題を見かけました: T をペアノの算術を実質上含む, 帰納的に公理化可能な, 無矛盾な形式的体系とするとき, T の論理式 A と T のモデル M, N で, M 内で A は真であり, N 内で A が偽であるようなものが存在することを証明せよ. …