そのため表記は自治体によって揺れが見られ、投票証明書(とうひょうしょうめいしょ)・投票済証(とうひょうずみしょう)などの名称などが使われる場合もある。また決まった形式も定められていないため、用紙の材質、サイズ、書式も自治体によって区々である。証明書の交付申請が少ない地域では、事前に投票所に用意されていないこともあり、その場合は現場で作成される。投票済証明書をめぐる賛否.投票済証明書は政治団体により影響力を誇示し支持を働きかける目的で利用されてきたとされる。労働組合では投票率アップのために組合役員に投票済証の持参を呼びかけている場合もある。投票済証明書をめぐっては賛否両論がある。愛知県選挙管理委員会では労働組合による利用を懸念する意見が出されたことから、市町村選管への指示を消極的なものに改定している。大阪市のように発行を中止する自治体もある。オートテラ解説.青森市民図書館青森市民図書館(あおもりしみんとしょかん)は青森県青森市新町にある公共図書館である。沿革.宝蓮院生涯.花影(かえい、はなかげ)自己検証理論自己検証理論()は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系である。ダン・ウィラードが初めてこの特性を調べ始め、そのような体系の一族を記述した。ゲーデルの不完全性定理によるとこれらの体系はペアノ算術の理論を含むことができないが、それにもかかわらず強い理論を含むことができる。たとえばペアノ算術の無矛盾性を証明できる自己検証体系が存在する。演算がこの方法で表現されるとき、与えられた文の証明可能性は解析的タブロー()を記述する算術の文としてコード化可能である。それから、無矛盾性の証明可能性は単に公理として追加可能である。結果として得られる体系は、通常の算術についての相対的無矛盾性の議論によって無矛盾性を証明できる。脚注.来歴.設計.異なる初期捜索深度を設定しての連続発射の戦術も行なわれる。配備.明日に架ける橋解説.松江市立図書館松江市立図書館(まつえしりつとしょかん)は、島根県松江市にある公共図書館である。松江市立中央図書館.松江市立島根図書館.東出雲図書館.移動図書館.屯田川屯田川(とんでんがわ)は、日本の川。坪田一男経歴.