Фундаментальне поняття цієї теорії полягає в тому значення речення — «думка», яку воно виражає — є функцією його структури або синтаксису. Думка, у свою чергу, визначається не психологічним станом мовця чи слухача — думки не є «ментальними» сутностями, — а логічними висновками, які допускає речення.
Система теорії множин Фреге є система аксіоматичної теорії множин, єдиною аксіомою якої є аксіома абстракції: За будь-якої властивості P існує унікальний набір, який складається з усіх і лише тих об’єктів, які мають властивість P: {x:P(x)}
прикметник. Фрегеан. ˈfrāgēən. : Ф. Л. Готтлоба Фреге або його внесок у розвиток символічної логіки та основи арифметики.
Отже, Фреге розрізняє зміст (Sinn) і позначення (nominatum, Bedeutung). Денотатом імені є об’єкт, який воно виділяє; сенс назви – це спосіб представлення об'єкта. Оскільки різні імена з різними значеннями можуть мати однакове позначення, ідентичність.
Про «філософію логіки» Фреге логіка стає істинною царством логічних сутностей. Вважається, що логічні функції, діапазони значень і значення істинності Істинність і Хибність є об’єктивно реальними сутностями, що існують окремо від матеріального та ментального світів.
Щодо фрегейського аналізу, певні описи тлумачаться як референтні вирази, а не кількісні вирази. Існування та унікальність розуміються як пресупозиція речення, що містить певний опис, а не частина змісту, що стверджується таким реченням.