Rei Frontier Tech Blog

人工知能を活用した位置情報分析プラットフォーム「SilentLog Analytics」を運営する、レイ・フロンティア株式会社のエンジニアメンバーで運営する技術ブログです。

2017-11-09から1日間の記事一覧

ZFC公理系について:その2

レイ・フロンティア株式会社のデータアナリストの齋藤です。 本記事の目的は、自然数全体の集合\(\mathbb{N}\)を定義し、その性質(の一部)を述べることです。 べき集合の公理、自然数の全体 ペアノの公理 べき集合の公理、自然数の全体 自然数の話に戻りま…