Все суждения, которые не являются тавтологиями, мы будем называть «синтетическими». В силу приведенного выше аргумента, простейшие виды суждений должны быть синтетическими. Чтобы можно было использовать логику или чистую математику в процессе получения не-тавтологического знания, нужны другие источники знания вне логики и чистой математики.