公理系による相互証明はそれ自体では無矛盾にならないけど、現実的には十分な保証かもしれない? _(:3 」∠)_

Reply to this note

Please Login to reply.

Discussion

No replies yet.