>>43
じゃなんでおまえは日本語しゃべってるの？

>>44
妄想乙
命題とはその真偽が人に依存せず定まる主張。
例１「あの犬はかわいい」・・・見る人の主観に左右されるので命題ではない。
例２「ゼータ関数の非自明なゼロ点の実数部は1/2である」・・・反例があれば偽、さもなくば真。人に依存しないので命題である。
例３「空でない集合族の直積は空でない」・・・同じく命題であるが、ZF公理系において証明も反証もできない。