レイ・フロンティア株式会社のデータアナリストの齋藤です。 今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。 はじめに 命題と論理式 外延性公理と集合 非順序対と…